2026年5月24日の厳選テックニュース
OpenAIモデルが離散数学の主要予想を反証成功、AIが新たな数学的事実を発見
- OpenAIは自社のモデルが離散数学の未解決予想を破る反例を見つけたと発表した。
- 単に計算速度が速いというレベルではなく、膨大な場合の数の中から理論を崩す構造を選び出す作業であり、本質的に異なるものだ。
- グラフ理論や組合せ論はアルゴリズム設計の基盤でもあるため、研究ツールとしてAIをどこまで信頼し任せるべきか再考を促す。
IBM Granite 4.1 オープンソース公開：ModernBERT ベースのマルチリンガル LLM
- IBMがGranite 4.1シリーズをHuggingFaceに公開した。
- 目立つ変更点は埋め込みモデルのバックボーンをXLM-RoBERTa系からModernBERTに変更し、長いコンテキストでもエンコードコストを抑えた構造にしたことだ。
- 多言語検索を直接運用するチームにとって、試してみる価値のある候補が増えた。
- しかし、ダウンロード可能だからといって運用コストやデータ管理の問題が自動的に解決するわけではない。
AIコーディングエージェント2026競争構図：オートコンプリートからエージェントループへ
- AIコーディングエージェントの分野はかなり活気づいている。
- AnthropicはCode with Claudeイベントでエージェンティックコーディングのビジョンを発表し、OpenAIはGartnerのエンタープライズコーディングエージェント部門でリーダーに選ばれた。
- Copilot、Cursor、Windsurf、Devin、Amazon Qまで、すべてオートコンプリートから自己駆動のエージェントループへ軸を移している。
- ツールを選ぶチームはデモよりも、複数ファイルの修正が自分たちのコードベースでどれだけ耐えられるかを試してみるべきだ。
Waymo、洪水状況を無視して運行継続し4都市でサービス一時停止
- Waymoの車両は大雨や冠水した道路でも運行を止めず、4つの都市でサービスが停止され、NHTSAによる再検討の圧力も強まる見込みです。
- 普段どれだけスムーズに走行できるかよりも、設計範囲を超えた際に自ら停止できるかが信頼の分かれ目となります。
- 自動運転であれ現場のロボットであれ、実物を動かすサービスなら、どの条件で運行を止めるか決めるまでは運用範囲を広げるべきではありません。
米国政府、量子コンピューティングスタートアップ9社に20億ドルの直接株式投資
- 米国政府は量子コンピューティングスタートアップ9社に20億ドルを直接株式投資の形で投入する。
- CHIPS法の助成金や税額控除とは異なり、政府が株主となる構造である。
- 資金は短期売上よりも、民間資本が耐え難い長期の研究開発期間を補う方向に向けられる。
- 政府の株式を受け入れる企業は、資金の規模だけでなく国が株主として入ることによる選択肢や制約も合わせて考慮する必要がある。
SpaceXスターシップV3初発射：ブースターの喪失にも軌道到達成功
- スターシップV3の初飛行で上部のShipは目標軌道に入りましたが、Super Heavyブースターは再突入中に制御を失って海に落ちました。
- V2の時にメカジラがブースターをキャッチしたシーンを思い出すと残念な結果です。
- SpaceXは部分的成功と呼び、次の飛行を急ぐと述べました。
- 結局、勝負はブースターを失った原因をどれだけ早く修復して再打ち上げするかにかかっています。
Microsoft、Activisionに対する2億5千万ドルの独占禁止和解：ゲームM&A規制の先例を確立
- MicrosoftはActivision Blizzardの買収を巡る独占禁止訴訟を2億5千万ドルで和解しました。
- 687億ドルの取引だったため金額は大きくありませんが、争点はCall of DutyをPlayStationとSwitchで引き続き提供するという約束でした。
- 承認後もこの約束の履行をめぐって規制が続くことが確認されました。
- この和解一件だけでゲーム業界のM&A基準が確立したとはまだ言えません。