OpenAI的GPT-5.2Pro模型在研究员推动下,成功协助解决了数论领域的“埃尔德什难题”第281号,被数学家陶哲轩评价为AI解决开放性数学问题的重要案例。
人工智能在数学领域取得重大突破,GPT5.2模型仅用15分钟便证明了保罗·埃尔德什遗留的未解难题,并通过形式化工具验证。埃尔德什的千余猜想曾被视为人类智慧边界,但近期已有15个问题被解决,其中11个由AI完成。
瑞士数学家施密特宣布,GPT-5在无人类干预下首次独立解决了一个长期未解的数学难题。其解决方案展现出惊人的创造力,跨界借鉴了代数几何其他分支的技术,而非遵循常规逻辑。这一突破印证了陶哲轩对AI潜力的预判。
陶哲轩与GPT-5Pro合作攻克三年未解的微分几何难题,证明三维空间中主曲率绝对值不超过1的光滑拓扑球面,其包围体积不小于单位球体积。这一突破展示了AI推动数学研究与人机协同的新范式。