AI
GPT-5.6 Sol Ultra がサイクル二重被覆予想の証明を生成 [pdf]
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
hackernews2026年7月10日
日本語要約
新しいAIモデルGPT-5.6 Sol Ultraが、サイクル二重被覆予想の証明を生成したと報告されています。この進展は、AIが複雑な数学的推論を行い、以前は解決困難だった問題を解決する能力において、大きな進歩を示しています。
English Summary
A new AI model, GPT-5.6 Sol Ultra, has reportedly generated a proof for the Cycle Double Cover Conjecture. This development signifies a major advancement in AI's ability to perform complex mathematical reasoning and potentially solve previously intractable problems.