稼働監視のBeating監測で、OpenAIは、GPT-5.6 Sol Ultraが64個のサブAgentを呼び出し、1時間未満で約50年の「循環二重被覆予想」に対する証明を提示したと述べています。
OpenAIは完全なpromptと証明全文を公開し、Leanの形式化バージョンもオープンソース化しています。関連コードはLeanカーネルによるチェックにも通過しています。しかし、これは依然としてOpenAIが公開した結果です。数学界ではまだ独立した査読が完了していないため、現時点では「証明を提示した」としか言えず、直接「正式に解決された」とは言えません。
323.21K 人気度
71.1K 人気度
3.99M 人気度
892.02K 人気度
185.28K 人気度
GPT-5.6で64個のAgent、1時間で50年分の推論証明を提示
稼働監視のBeating監測で、OpenAIは、GPT-5.6 Sol Ultraが64個のサブAgentを呼び出し、1時間未満で約50年の「循環二重被覆予想」に対する証明を提示したと述べています。
OpenAIは完全なpromptと証明全文を公開し、Leanの形式化バージョンもオープンソース化しています。関連コードはLeanカーネルによるチェックにも通過しています。しかし、これは依然としてOpenAIが公開した結果です。数学界ではまだ独立した査読が完了していないため、現時点では「証明を提示した」としか言えず、直接「正式に解決された」とは言えません。