OpenAI、10,000体のエージェントでナビエ・ストークス方程式の爆発解を構築もクレイ賞解決には至らず

OpenAIは、約10,000体のエージェントを約88時間並列実行し、ナビエ・ストークス方程式の有限時間爆発解を構築した。さらに165ページに及ぶ証明は、Leanを用いて17時間かけて機械検証された。この構築には滑らかな外力項が追加されているため、クレイ数学研究所の定式化には適合しない。同研究所は依然としてこの問題を未解決としており、OpenAIも100万ドルの賞金を辞退している。重要なのは結果ではなく、その手法である。大規模なエージェント群が形式的に検証可能な研究規模の証明を生成したことは、AIが最先端の数学領域にどこまで踏み込んだかを示す指標となっている。

出典： openai.com ↗