数学猜想

如何看待大量「有名有姓」的数学猜想被 AI 解决？

2026年，AI在数学领域取得多项突破，OpenAI的Astra模型解决了包括Erdős遗留问题在内的10项长期研究问题。AI在寻找反例方面表现突出，推翻了部分长期被相信的数学判断。与此同时，数学界正通过建立Palomar注册表等措施加强对AI证明的形式化验证与审计，而菲尔兹奖得主王虹则强调AI应被视为人机协作的工具而非对手。

如何评价北大著名校友柳智宇评价同学王虹邓煜获得菲尔兹奖，祝贺两位校友，并不后悔自己上山出家离开数学？

在王虹与邓煜获得菲尔兹奖的背景下，国际数学家大会探讨了AI是否会取代数学家的问题。陶哲轩指出AI正引发数学界的“价值观危机”。目前AI在数学领域扮演探路者和外置大脑的角色，虽能通过大规模计算推翻雅可比猜想等前沿猜想，但在提出问题和创造新概念等数学家核心工作中仍有局限。