OpenAI、80年越しの数学難問を解決—AIが「思考」で数学史を書き換える

今日のハイライト

OpenAI、離散幾何学の「ユニットディスタンス予想」を反証—AIによる自動定理証明の新地平

OpenAIが、1946年から数学界を悩ませていた離散幾何学の未解決問題「ユニットディスタンス予想（unit distance problem）」を、その推論モデルで反証したと発表しました。これはAIが人間の数学者では見つけられなかった証明を導き出した歴史的な事例です。

特に注目すべきは、今回の結果が厳格な検証を経ている点です。以前、OpenAIが類似の主張をした際には、数学者によって指摘される欠陥があり「embarrassing claim（不名誉な主張）」として報じられましたが、今回は独立した数学者たちが証明を検証し、正確性を裏付けています。これは、単なるパターン認識を超えた、AIによる「数学的直感と論理的推論」の融合が実用段階に入ったことを示唆しています。今後、数学や理論物理学の未解決問題に対するAIの積極的な活用が加速するでしょう。

SpaceX IPO開示でxAIの財務実態が明らかに—年64億ドル赤字でもインフラ投資は止まらず

イーロン・マスクのSpaceXがIPO申請を行ったことで、xAIの財務状況が初めて公開されました。2025年の損失は驚異の64億ドル。しかし同時に、競合であるAnthropicに対して月15億ドル（年換算180億ドル）でコンピュート資源を提供するという、異例の提携関係も明らかになりました。

さらに、データセンターの発電機を巡る訴訟問題がある中、xAIは今後3年間で28億ドル相当の天然ガスタービンを追加購入する計画も発表。これは、生成AI競争がいかにインフラ戦争であり、電力確保が最大のボトルネックとなっているかを象徴しています。巨額の投資と収益化のギャップは、業界全体にとって持続可能性の問いを投げかけています。

その他の注目ニュース

Google I/O 2026：「バイブコーディング」の民主化とAIエージェントの実用化への挑戦 GoogleはI/OでGemini Omniを発表し、Android向けAI Studioによる「バイブコーディング（自然言語でのコード生成）」を一般ユーザーに開放。さらに、YouTube ShortsのAIリミックス機能や、AI検索結果との広告統合も発表しました。特に、SynthIDとC2PA Content Credentialsの拡張は、ディープフェイク対策における業界標準化の動きとして重要です。ただ、AIエージェントの実用化については、Googleにとって「成るか破れるか（make or break）」の局面だと言えるでしょう。ChromeやAndroidという圧倒的なプラットフォームを持つGoogleだからこそ実現可能な統合ですが、ユーザーの期待を満たす実用性が試されています。

Nvidia：過去最高の四半期も成長鈍化の兆し、430億ドルのスタートアップ投資 Nvidiaは再過去最高の四半期収益を記録しましたが、次期は成長鈍化を予想。保有するスタートアップへの投資額が430億ドルに達したことも明らかになり、単なる半導体メーカーからAIエコシステムの覇者へと進化している様子がうかがえます。

生成AIのクリエイティブ領域での進化 Stability AIは6分間の楽曲生成が可能な「Stability Audio 3.0」をリリース。Figmaは自然言語指示でデザインを生成・編集するAIアシスタントを搭載しました。一方、Andrew Ng氏バックのIrisGoは、デスクトップ操作を学習して自動化する「AIバトラー」として注目を集めています。

専門家としての視点： 今日のニュースは「AIのインフラ重資産化」と「創造的・知的活動への浸透」という二極化を鮮明に映し出しています。xAIの巨額赤字は、生成AIビジネスがいかに資本集约的かを示唆し、収益化モデルの再検討を迫られています。一方、OpenAIの数学的成果やGoogleのバイブコーディングは、AIが人間の知的活動の「上流」に位置する創造・発見の領域に進出していることを示しています。

特にAnthropicとxAIの「敵同士の取引」は、AIインフラの希少性がビジネスロジックを超えた戦略的関係を生み出している面白い事例です。また、Utah州での巨大データセンター「Stratos Project」（マンハッタンの2倍の規模）の計画は、AI開発と環境負荷の深刻なトレードオフを突きつけています。技術革新の裏側にある、資源・エネルギー・持続可能性という課題が、これからのAI産業の最大の壁となるでしょう。