据新华网2026年6月12日消息，AI在数学研究领域接连取得突破性进展。OpenAI的AI系统在“平面单位距离问题”中设计出新的点集构造方法，突破了基于规则几何的传统直觉；英国业余爱好者在ChatGPT辅助下，破解了困扰数学界60年的埃尔德什第1196号问题。这些成果标志着AI正深度融入数学研究核心环节，从辅助计算向参与证明生成与结构构造转型。

这两项研究均显示出AI具备跳出人类“审美惯例”的独特思维特质。针对几何问题，OpenAI的AI系统不受对称、简洁等经验束缚，发现了更优的点集排列；面对数论难题，ChatGPT避开了常规的概率论转化路径，直接在原始数论语言中推进证明，隐含建立了不同数学领域间的联系。这种“非常规开局”的能力，使AI能够探索人类长期忽略的结构空间，揭示跨领域的潜在联系。

尽管AI展现了突破常规的潜力，但其生成证明的可靠性仍是核心难题。由于大语言模型基于统计模式而非逻辑理解运行，容易产出看似严谨实则错误的证明，这让传统的人工评审不堪重负。为此，科研人员正致力于构建自动化验证体系：一方面利用Lean等形式化语言将证明转化为可被计算机检验的代码；另一方面开发如AlphaProof等系统，直接生成具备逻辑正确性的形式化证明。随着“生成与验证”闭环的完善，AI将逐渐成为连接跨领域思想、发掘潜在研究方向的强大伙伴，而人类专家则将专注于更高阶的问题定义与价值判断。

信息来源：

https://www.nature.com/articles/d41586-026-01651-0

https://www.scientificamerican.com/article/amateur-armed-with-chatgpt-vibe-maths-a-60-year-old-problem/

http://www.xinhuanet.com/liangzi/20260612/1fc0c801f9584988ac39fbb933c7cd92/c.html