OpenAI Astraが数学界に衝撃—人間の役割を問う

今日のハイライト

OpenAI Astraが数学の未解決問題を次々解決、学界に存在論的危機

OpenAIの未公開モデルAstraが、80年間の歴史を持つ「単位距離予想（Unit Distance Conjecture）」の反証に成功するなど、数学と理論計算機科学における長年の懸案事項を10問一挙に解決したと発表し、数学界に激震が走っている[17]。量子ゲーム理論や高次元の球充填（sphere packing）など、人間の研究者が一つでも解ければ「生涯食っていけるレベル」とされる難題が含まれており、フィールズ賞受賞者のJames Maynard氏も「魂の探究（soul-searching）に入っている」と語るほどの衝撃である[17]。

ただし、AIが数学の全領域を制したわけではない。現状のモデルは、ストロベリーの中の「R」を数えるような基礎的な算術や曜日の把握には未だに苦手であり、トポロジーなどの分野でも幾何学的直感に欠けるという指摘もある[17]。今回の成果は「検証可能性の高い、自己完結した理論問題」に強いAIの特性を象徴している。

数学界の反応は「シェルショック（砲撃休克）」と評されるほど深刻だ。専門家らが懸念するのは、AIが単に問題を「刈り取る」だけで、新しい問いや学問の枝を開く過程が失われること。数学の価値は「解くこと」より「解く過程で生まれる新しい道具や問い」にあるとするのが通説であり、Johannes Schmitt氏（チューリヒ大学）は「AIが数学の問題を刈り取っても、人間がループから外れれば分野は前に進まない」と警告している[17]。一方で、才能ある学部生が大学院レベルの正当な論文を生産するなど、研究の民主化という側面も否定できない。

今回の証明は形式証明支援系「Lean」で検証されており、内容の正当性自体は専門家から認められている。しかし、OpenAIのプレスリリースが既存研究へのクレジットを軽視していた点は批判を受け、後に静かに修正されている[17]。「AIラボが学問を広告の遊び場にしている」との懸念も根強く、AIと人間の知の協働がどう設計されるかが、今後の学問の行方を左右する。

OpenAI、企業市場でAnthropicに追いつくも「粘着性」に懸念

新しいデータによれば、OpenAIがエンタープライズユーザー市場でAnthropicに追いつきつつあると報じられた[1]。しかし、企業ユーザーは各ラボが新モデルを発表するたびに行き来しており、この「揺らぎやすさ」は、企業のAI支出がどれほど「粘着的（sticky）」であるかについて、投資家が冷静になるべきだと示唆している[1]。

同社はIPO準備の中、幹部の相次ぐ辞任という組織的な荒波に見舞われているが、共同創業者兼社長のGreg Brockmanが静かに権力を集中させ、事実上の中心人物として存在感を増している[16]。外部からは「創業期のエンジニアリング重視文化の復活」とも評されるが、一極集中によるガバナンスリスクも指摘されている。

その他の注目ニュース

Google Discoverが対話型AIフィードを導入
GoogleアプリのDiscoverで、チャットボット形式で嗜好を自然言語で入力し、AIがフィードを自動調整・記憶する機能が数日以内に展開される[15]。検索のパーソナライズが「能動的な情報探索」から「対話的な嗜好管理」へ進化する点で注目だ。一方で、Googleは出版社に対し、SearchやDiscoverで優先的に表示される「お気に入り」ボタンを提供し、AI検索によるトラフィック減少に対抗する手立ても打ち出している[4]。

Slackが共同vibe-codingチャンネルを開始
Slackが、チーム内でAIエージェント（ClaudeやDevinなど）を使い共同開発できる「Slack Code」を発表した[18]。コード変更の比較やHTMLプレビューが可能な専用チャンネルで、ツール間の行き来なくvibe-codingを完結させる。AIエージェントをチームワークフローの中核に組み込む動きが、業界標準になりつつある。

OpenAIが「AI Futures」ブログを開設
変革的AIが権力、ガバナンス、経済、個人の自由に与える影響を探る新ブログ「AI Futures」を開設した[21]。AGIへの社会論的な議論を自ら主導し、規制や倫理のフレームを取りに行こうとする意図が読み取れる。

ChatGPTがApple Messagesでテキスト送信可能に
ChatGPTが新しいApple Messagesプラグインにより、自動でテキストメッセージを送れるようになった[2]。実用性とプライバシーの境界を再定義する実験的機能だが、個人のコミュニケーションをAIが代理する時代の先触れとも言える。

Webの3分の1がAI生成の痕跡
ChatGPTの登場以降に公開されたWebページの3分の1に、AIによる執筆や編集の痕跡があるという研究が発表された[8]。情報エコシステムの「AI汚染」が現実味を増し、検索エンジンや学術的知見の信頼性に長期的な懸念が高まる。

企業のAIモデルルーティングが加速
フィンテック企業Rampが、複数のLLMをAPI経由で切り替え利用できる自社サービス「Router」を発表した[9]。決済大手Stripeがモデルルーター「OpenRouter」を買収した動きは、「シンギュラリティ」という壮大な理由ではなく、実は決済・収益化のデータ獲得が真意だと分析される[14]。モデル選択の最適化が、企業インフラの標準レイヤーとして急速に定着しつつある。

暗号資産取引所がAIエージェント取引を許可
Binanceが「Agent OS」を通じてAIエージェントによる取引を可能にしたが、監視はユーザーに委ねられている[13]。金融とAIエージェントの融合が進む一方、リスク管理の枠組みが後追いになっている点は警戒が必要だ。

Metaが「vibe-coding」ゲームアプリを米国展開
ブラジルでテストしていたゲーム作成・共有アプリ「Pocket」を米国で公開[10]。「vibe-coding」のエコシステムが個人のクリエイティブから社会現象へと拡大し続けている。

その他の話題
・MetaがMac向けAIアプリをリリースし、すべてのアプリで音声入力が可能に。既存ツールとの競合が激化する[12]。
・Grok Liteで無意味な文字列を返す障害が発生し、xAIのサービス品質に再び疑問符がついた[7]。
・核融合スタートアップInertia Enterprisesが燃料充填を1週間から数時間に短縮。実用化への重要な一里塁[11]。
・データセンターの冷却に「尿」を使うというNFL選手のジョークが、実は非飲料水として現実的な視点から検討されている[3]。
・AIの「暴走」や「ローグ」といった修辞が、規制議論の「罠」になっているとMIT Technology Reviewが指摘[19]。
・StampliがChatGPT Workを使い発売時間を68%短縮。企業でのAI導入効果の具体例として示された[22]。
・元従業員の競合立ち上げを巡るRunlayerとRipplingの訴訟が和解（金銭的解決なし）。Ripplingは即座に競合製品をリリースし、スタートアップ間の法的紛争の先例として注目される[5]。