AIOpenAIの「1万AIエージェント」は難問研究をどう変えたのかOpenAIがNavier–Stokes方程式の研究に投入した約1万のAIエージェント、1300億出力トークン、Leanによる形式検証の仕組みと限界を整理します。2026-09-25·出典 OpenAI
