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の証明を生成した。ある数学者はこの証明を驚くほど初等的だと評したが、その洗練さに欠ける点を批判した。
02