AI在数学研究中的角色正从辅助工具演变为核心参与者，这一转变让数学家们既兴奋又警惕。
发生了什么
近期，OpenAI在反驳单位距离猜想（Unit Distance Conjecture）时，其模型展现出了惊人的推理能力。与此同时，菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）透露，GPT-5.6 Pro在首次尝试时就解决了他曾花费大量时间研究的两个问题。这些事件并非孤立，而是标志着AI在数学领域的能力已从计算辅助跃升至独立发现。
为什么重要
数学是验证AI推理能力的试金石。过去，AI在数学上的应用多限于验证或计算，而如今它开始参与猜想提出与证明。高尔斯警告，如果数学家不再构建理解这些结果所需的专业知识，可能导致“数学文化的毁灭”。这一担忧直指核心：当AI能快速产出证明，人类数学家是否还会投入数年时间培养直觉与严谨性？数学作为一门依赖人类创造力的学科，其价值与传承方式正面临根本性挑战。
影响与看点
对数学界而言，AI的介入可能加速解决长期悬而未决的问题，但也可能改变研究范式——未来的数学家或许更像“审稿人”而非“创作者”。对AI开发者而言，数学难题是测试模型极限的绝佳场景，但需警惕过度依赖黑箱结果。对普通读者，这预示着AI将重塑知识生产的边界。值得关注的是，学界是否会建立新的验证机制，以及AI的数学能力是否真能超越人类直觉。我的独立判断是：AI不会取代数学家，但会迫使数学界重新定义“理解”与“证明”的含义。
