OpenAI数学家对谈：大模型如何重塑数学研究新范式

9月9日，OpenAI全职数学家Mark Sellke与Mehtaab Sawhney接受a16z基础架构合伙人Lisha Li的采访，围绕AI数学研究新范式展开对话。两人曾共同师从数学家赵宇飞，于2025年夏天在看到模型推理能力飞跃后加入OpenAI，直接参与了近期多项数学突破的研发与选题。

采访中，两位数学家指出，AI在数学证明中具备独特优势：它能“死磕到底”，将抽象思路在技术细节上扎实做通；同时不受“思维污染”干扰，不会像人类那样因失败路径而陷入思维定势，并能并行开启全新的推理会话。他们观察到，AI给出的证明往往简洁优雅，例如用15页纯正典雅的经典数学工具驳倒近半个世纪未决的群论猜想，而人类反而常写出200页的冗长证明。

关于学术品味，两位研究员认为，能通过更具远见的战略判断更快解决问题，就是学术品味最硬核的度量。大模型不仅有极佳的解题直觉，在人类追问“能否推向极致”时，还能自发挖掘出深层的数学联系。他们预测，未来人机分工将发生转变：当硬核推导被AI接管，人类的核心价值转向搭建宏大框架、联通跨学科知识，以及把深奥结论解释清楚，群体的认知整合将成为核心舞台。

此次对谈的背景是OpenAI近期在FrontierMath基准和Navier-Stokes方程等数学难题上取得系列突破。此前，OpenAI发布的GPT-6 Astra模型在FrontierMath Tier 4上取得98%的正确率，并通过一万个AI智能体协同推演，给出了Navier-Stokes方程奇异性的机器验证证明。这些成果引发了学界对算力伦理和学术交流传统的讨论。