AI

OpenAIが80年未解決のエルデシュ予想を反証 — 数学者3名が検証

OpenAIの汎用推論AIが、1946年にポール・エルデシュが提起した離散幾何学の未解決予想を反証しました。著名数学者3名が事前に検証し、AIが独立して著名な未解決問題を解いたと認定した初の事例と位置づけられています。
SQL

MySQLインデックスの仕組みと貼り方の基本(B-tree解説)

MySQLのインデックスがどう動くかを、B-tree構造の仕組みから解説します。CREATE INDEXの書き方、貼るべき列・貼ってはいけない列の判断基準、インデックスが効かないよくある落とし穴まで実例つきで紹介。MySQL 8.0対応。
AI

Standard Chartered AI活用で7,800人削減 — CEO発言が世界で炎上

Standard CharteredのCEO Bill Winters氏が「AIで低付加価値の人的資本を代替する」と発言し、2030年までに7,800人を削減すると発表しました。元シンガポール大統領も批判し世界的な炎上に発展しています。
AI

Stability Audio 3.0公開 — 6分超の楽曲生成と3モデルをOSS公開

Stability AIが4モデル構成の音楽・効果音生成モデルStability Audio 3.0を公開しました。最大2.7Bパラメータのlargeモデルは6分20秒の楽曲生成に対応し、小型3モデルはオープンソースで公開。Warner・Universalとのライセンス契約で学習データの権利問題もクリアしています。
AI

Toto 2.0公開 — 時系列予測がスケーリング時代へ、5モデルをOSS公開

arXiv論文Toto 2.0が、時系列予測においてもモデルサイズに比例して精度が向上するスケーリング則の成立を実証しました。4Mから25億パラメータの5モデルをApache 2.0でOSS公開しており、BOOM・GIFT-Eval・TIMEの3ベンチマーク全てで最高スコアを達成しています。
AI

Exa Labs $250M調達でAI検索市場が急拡大 — Google・OpenAIの制約が商機に

AI検索スタートアップExa Labsが25億ドル評価額で2億5,000万ドル、Parallel Web Systemsが20億ドル評価額で1億ドルを調達しました。GoogleとOpenAIの構造的制約が生む空白を突いた動きで、AI検索市場への投資が急加速しています。
AI

Gemini 3.5 Flash公開 — 4倍高速・半額で常駐エージェントSparkも

Google I/O 2026でGemini 3.5 Flashが公開されました。競合フロンティアモデル比で速度4倍・コスト半額以下で、常駐型AIエージェントGemini Sparkも同時に発表されています。
SQL

SQLのEXISTSとINの違いと使い分け:NULL問題と性能まとめ

SQLのINとEXISTSの動作の違いを実例で解説します。特にNOT INはサブクエリ結果にNULLが混在すると全件0件になる落とし穴があります。性能差が出るケースやEXPLAINの見方もMySQL 8.0対応で整理。
AI

卒業式でAI言及に批判 — 米国で広がるAI拒絶の潮流

2026年米国の卒業式シーズンに、元Google CEOのエリック・シュミット氏ら複数の登壇者がAI関連の発言でブーイングを受ける出来事が相次ぎました。世論調査でも多くの米国人がAIを信頼していないことが示されており、技術業界の楽観論と社会の受け止めのギャップが顕在化しています。
AI

MoEの推論コストを半減 — ZEDA自己蒸留で事後最適化

Mixture of Experts(MoE)モデルのエキスパート計算量を50%以上削減し推論を約1.20倍高速化するZEDAが発表されました。フルトレーニング不要の事後最適化手法で、Qwen3-30B-A3BやGLM-4.7-Flashで既存の動的MoE手法を4〜6ポイント上回る性能を示しています。