研究openai2026-05-20

AIが数学の長年の予想を覆す

An OpenAI model has disproved a central conjecture in discrete geometry

OpenAIのAIが80年間未解決だった数学の難問を解決し、AIが数学研究で大きな成果を出せることを示しました。

OpenAIのモデルが80年間未解決だったunit distance problemを解決し、discrete geometryにおける主要なconjectureを否定しました。これはAIが数学を推進する上での重要な節目となります。