OneMillion_AIによれば、OpenAIのGPT-5.6 Sol Ultraは、約50年前に提起された数学の問題「Cycle Double Cover Conjecture」の形式的な証明を1時間未満で提供するために、64のサブエージェントを投入した。OpenAIは完全なプロンプトと証明をすべて公開し、Leanで形式化したバージョンをオープンソース化している。コードはLeanカーネルによる検証を通過している。だが、これはあくまでOpenAIの公開結果であり、数学コミュニティによる独立した査読がまだ完了していないため、この証明は現時点では決定的な解決策として公式に認められていない。
免責事項：本ページの情報には第三者提供の内容が含まれる場合があり、参考目的のみで提供されています。これらはGateの見解や意見を示すものではなく、金融、投資、または法律上の助言を構成するものでもありません。暗号資産取引には高いリスクが伴います。意思決定を行う際には、本ページの情報のみに依存しないでください。詳細については、
免責事項をご確認ください。
