GPT-5.6が64のエージェントを調整し、1時間で50年分の推測を証明した。

動察 Beatingのモニタリングによると、OpenAIは、GPT-5.6 Sol Ultraが64のサブエージェントを呼び出し、1時間未満で、約50年にわたって提起されてきた「循環二重被覆予想」に対して証明を提示したと発表した。

OpenAIは完全なプロンプトと証明全文を公開し、Lean形式化バージョンをオープンソース化した。関連コードはLeanカーネルのチェックを通過している。ただし、これはあくまでOpenAIが発表した結果である。数学界はまだ独立した検証を完了していないため、現時点では「証明を提示した」としか言えず、「正式に解決した」とは直接言えない。