OpenAIの安全性警告がAI拡張と衝突する中、GPT-6 Astraが汎用人工知能(AGI)論争を巻き起こす

トレンド1: GPT-6 AstraがAGI論争を引き起こす — OpenAIの内部矛盾が表面化​

9月4日、OpenAIはこれまでで最も強力なモデルであるGPT-6 Astraをリリースした。NVIDIAのCEOジェンスン・フアンはXに「AGIが到来した」と投稿し、OpenAIの社長グレッグ・ブロックマンは電話会議で「AGI時代へようこそ」と宣言した。Astraは10万基以上のNVIDIA Grace Blackwell NVLink72 GPUで訓練されたと伝えられ、Blender、Photoshop、Unityなどのプロフェッショナルソフトウェアの自律操作をサポートし、幻覚率を約2%にまで低減した。フアンは次の40万基のGPUが間もなく稼働すると明らかにした。​

9月6日、CNBCは業界で高まる「モデル疲れ」について報じた。わずか1週間のうちに、AnthropicがFableとMythosを更新（9月1日）、MetaがMuse Spark 1.3をリリース（9月2日）、GoogleがGemini 3.8 Flashを投入（9月2日）、OpenAIがGPT-6 Astraをリリース（9月4日）、そしてアブダビのMBZUAIがK2 Horizonシリーズをオープンソース化した。Gartnerは2026年のAI支出を2.59兆ドルと予測しており、2025年比47%増で、その半分以上がインフラに充てられる。RunpodのCEO Zhen Luは、モデル疲れは「間違いなく現実の問題となっている」と指摘し、Clockwork SystemsのCEO Suresh Vasudevanは「最近のリリースはどれも圧倒的に強力で、何が真の飛躍的前進と言えるのか判断が難しくなっている」と述べた。​

一方、AnthropicのClaudeは、Lean証明アシスタントを用いてフェルマーの最終定理のエンドツーエンドの形式化証明を初めて完了し、11日間自律稼働した。システムは命題文からカーネル型チェックを通じて完全なLeanコードを生成し、証明の分解に人間の介入を必要としなかった。インペリアル・カレッジの数学者ケビン・バザードは、これは「現代数学文献全体を自動的に形式化するための大きな一歩である」とコメントした。​