数学界刚刚目睹了一个历史性时刻:在OpenAI发布CDC证明公告后不到一周,一名独立研究者使用GPT-5.6,通过一个精心设计的提示词,成功证明了一个在凸优化领域悬而未决30年的猜想。该成果已发布在Reddit r/math板块,引发了学术界和AI社区的双重震动。
凸优化(Convex Optimization)是现代机器学习的数学基石,从支持向量机到深度学习的损失函数设计都依赖其理论。这个被攻克的猜想涉及一类特殊凸函数的收敛性质,自1990年代提出以来,全球数学家尝试了各种方法均未成功。
十页提示词的艺术
这项突破的核心不是GPT-5.6本身多么强大,而是一个长达10页的提示词。该提示词并非简单的”请证明这个猜想”,而是系统性地构建了数学语境:定义所有相关概念、列举已知定理和引理、总结前人的尝试路径和失败原因、提供潜在的技术路线,最后才要求模型尝试构造证明。
一位熟悉该领域的数学家评论道:”这10页提示词本身就是一篇出色的综述论文。它将人类30年的失败经验编码为模型的上下文,本质上是在告诉AI:这些路都走不通,请找一条新路。”
AI数学的范式转移
从Lean证明验证到如今的AI自主发现,数学界正经历深刻变革。GPT-5.6的这次突破意味着AI不再只是”验证人类已有证明”的工具,而是开始参与”发现新证明”的创造过程。这对数学研究的未来意味着什么?我们是否需要重新定义”数学家”这个词?
当然,审慎的声音同样响亮。多位数学家强调,该证明尚未经过同行评审,任何声明都应持保留态度。一位HN用户指出:”即使人类也会产生幻觉式的证明。AI生成的证明同样需要严格的同行验证。”
社区反响
最引人深思的评论来自一位教授:”我见过一些教授使用AI的方式令人惊叹。AI提示输入正在变得分层——过去,实现技能非常重要;如今,概念的提出和问题的框架变得更为关键。”
这或许揭示了未来的研究范式:人类负责提出问题、构建语境、引导方向;AI负责在巨大的搜索空间中寻找人类未曾尝试的路径。提示词工程正在从”技巧”升级为一种新的科学交流形式。
另一个值得关注的讨论点:该提示词完全由人工编写,而非AI辅助生成。这意味着最前沿的AI应用,其核心竞争力可能不在于模型本身,而在于人类如何”引导”模型。这个发现对整个AI行业都有深远影响——最好的结果往往来自于人机协同,而非完全自动化。
从更宏观的角度看,这一事件标志着”AI-Native Mathematics”的诞生。未来,数学研究的工具链将包括定理证明器、AI辅助推理引擎和人类直觉的三位一体。在这个新的范式中,数学家的工作重心将从”亲自证明”转向”构建正确的提问框架”。
原文链接: Reddit r/math讨论 | HN讨论 (312条评论)