Skip to content
AIインテリジェンスJul 12, 2026AIインテリジェンス
記事

OpenAIのGPT-5.6 Sol Ultraは、と噂される50年前の未解決の数学問題を1時間未満で解いた。このモデルは64の並列サブエージェントを使用して、Cycle Double Cover...

Conjectureの証明を生成した。ある数学者はこの証明を驚くほど初等的だと評したが、その洗練さに欠ける点を批判した。

Data Cube AI 編集部出典: The Decoder
01

ソース要約

OpenAIのGPT-5.6 Sol Ultraは、と噂される50年前の未解決の数学問題を1時間未満で解いた。このモデルは64の並列サブエージェントを使用して、Cycle Double Cover Conjectureの証明を生成した。ある数学者はこの証明を驚くほど初等的だと評したが、その洗練さに欠ける点を批判した。