10,000 AI agents solve hard math problem in 88 hours

ゆら @yura_ai123Originally posted 2026.09.19

Open original on X

数学の難問を、わずか88時間で解明… OpenAIの1万体のAIエージェントが並列で動き、 約270万件のメッセージを交換。 合計約1,300億トークンを処理したとされている。 さらに、科学的証明の生成には約88時間、 その後「GPT-6 Astra」がLeanを使った プログラム的な検証にさらに約17時間を費やしたと もしこの成果が正式に確認されれば AIはもはや「研究者の補助ツール」ではなく、 仮説・計算・証明・検証までを担う “研究所そのもの”に近づいていると言えそうです。 人間が何年、何十年とかけてきた研究を 数日単位に圧縮する時代が来るのか。 かなり大きな転換点かもしれません。