OpenAIが新モデル群「Astra」を予告——エージェントチームが約2000ドルで未解決数学問題10問を解決

OpenAIは、複数のAIエージェントが数時間から数日にわたり協働して難問に取り組む新モデルファミリー（仮称Astra）を公開した。内部バージョンは、数学と理論計算機科学で専門家が少なくとも10年間解けなかった10の未解決問題を解決——非sofic群の存在証明も含まれ、証明はLeanで形式化され機械検証が可能だ。APIレートでの総コストは約2000ドル。Sam Altman氏はワシントンで政策担当者にデモを実施。GPT-6、GPT-5.7、あるいは別クラスとして提供される可能性があり、計画中の米政府によるリリース前審査を受ける最初のモデルになる見込みだ。 （訂正：OpenAIはその後、「少なくとも10年間進展がなかった」という表現を撤回した。実名の数学者らは、証明のいくつかが引用されていない既発表研究に基づいていると指摘している。）

✓ 検証済み · 3ソース

関連ニュース