AIインテリジェンスJul 10, 2026AIインテリジェンス
記事
OpenAIのGPT-5.6 Sol Ultraは、数十年にわたる数学的『Cycle Double Cover...
Conjecture』の証明を生成しました。これは、AIモデルが複雑な科学的問題に取り組む能力が高まっていることを示す一方で、そのようなAI生成証明の検証について疑問を投げかけます。
Data Cube AI 編集部出典: Hacker News
Conjecture』の証明を生成しました。これは、AIモデルが複雑な科学的問題に取り組む能力が高まっていることを示す一方で、そのようなAI生成証明の検証について疑問を投げかけます。