2026 年菲尔兹奖得主雅各布·齐默尔曼（Jacob Tsimerman）近期谈到人工智能对数学研究的影响。他认为，AI 正在快速接近能够独立完成数学问题求解的阶段，并判断 AI 可能在未来几年内超过人类数学家。
据量子位报道，AI 当前探索重大数学猜想时，并不只是给出一次性答案，而是通过类似“辩论”的交互方式推进：一个模型提出思路，另一个模型负责质疑前提、寻找漏洞或尝试构造反例，随后再由模型或数学工具对关键步骤进行验证。这样的过程更接近研究中的同行讨论，而不是传统问答式使用。
这种方法的价值在于，数学猜想往往不能仅靠生成一个看似合理的证明来判断。对于一个候选结论，系统还需要检查定义是否适用、推理是否存在跳步，以及是否能找到反例。OpenAI 近期公布的案例显示，其内部模型曾发现埃尔德什单位距离猜想的反例；相关结果由研究人员进一步分析，并被菲尔兹奖得主蒂莫西·高尔斯评价为 AI 数学领域的重要进展。
齐默尔曼对 AI 的判断也已经影响到他的职业安排。Quanta Magazine 报道称，他已停止招收研究生，原因是担心传统数学研究项目的培养周期可能长于 AI 技术变化周期；与此同时，他把更多精力转向 AI 安全，希望数学家参与理解多智能体系统的行为，并为相关系统提供更高程度的可靠性保证。
不过，辩论式交互并不等于 AI 已经能够稳定地产生人类可理解的新数学理论。数学研究仍然需要专家选择值得研究的问题、判断结果的重要性，并对机器给出的证明或反例进行独立审查。陶哲轩此前也指出，AI 在数学中的作用正在扩展，但距离解决数学家最关心的顶级难题仍有差距。
因此，现阶段更准确的描述是：AI 正从数学家的辅助工具，转向能够参与猜想生成、反例搜索和证明检查的研究协作者。辩论式交互可能提升系统发现错误和探索候选路径的能力，但最终哪些结果具有数学价值，仍需要人类数学共同体进行验证和解释。