幣界網のニュースとして、OpenAIが発表し​​たところによると、GPT-5.6 SOL Ultraは64個のサブAgentを呼び出し、1時間もかからずに、約50年の「循環ダブルカバー猜想」に対する証明を提示したそうです。OpenAIは完全なpromptと証明全文を公開し、さらにLeanの形式化バージョンもオープンソース化されており、関連コードはLeanのカーネルによるチェックも通過しています。ただし、これはあくまでOpenAIの発表した結果であり、数学界による独立審査はまだ完了していないため、当面は「証明を提示した」としか言えず、「正式に解決した」とは直接言えません。