OpenAI被曝雪藏数百个证明，你死磕3年的题，答案可能早在服务器 「如果我想当数学家，看来大概只剩两周了。」 开这个玩笑的，是一个13岁的小女孩。 她的父亲Scott Aaronson，是德州大学奥斯汀分校的理论计算机科学教授，也曾在OpenAI对齐团队担任访问研究员。 9月15日，Aaronson把女儿的这句话写进了一篇长博文里。 同一篇博文里，他还列了一份清单，过去一个月，被AI证明或协助证明的长期开放问题： 雅可比猜想的反例、经Lean验证的费马大定理、量子复杂性理论里悬置多年的难题，全在其中。 真正让数学圈坐不住的，是清单末尾的一则传闻。 据他透露，AI公司在纳维-斯托克斯（Navier-Stokes）方程的证明上经历了一轮带有敌意的公众反应之后，现在正把一些「非常重大的问题」的解法压在手里，打算等想出更好的处理办法再说。 沃顿商学院副教授Ethan Mollick转发时特意声明，自己平时不传谣，但判断这条消息来自掌握内部信息的人，可信度不低。 随后，纽约大学数学教授Scott Armstrong又爆出一个更惊人的数字： 他被告知，OpenAI至少从7月的国际数学家大会（ICM）起，就压着「数百个」数学证明没有发布。 一道悬了几十年的难题被解开了，要不要立刻告诉全世界？ 过去几百年，这在数学界几乎就不算个问题。 人们担心的只是题太难，没人解得开。 现在，一种新的不安正在数学界蔓延：答案也许早被机器算出来了，只是被锁在实验室里，秘而不宣。 AI解题开启流水线模式 「数百个」未公开的证明，听起来像天方夜谭，但放在今天的前沿AI实验室里，这是完全符合逻辑的。 20年前，最保守的学者都会调侃：等AI解出千禧年大奖难题，再叫醒我。 如今，A openai被曝雪藏数百个证明，你死磕3年的题，答案可能早在服务器上

  • 情报分类：服务器与云资源
  • 分类依据：内容涉及服务器、云资源或网络线路
  • 信息来源：资讯 / 知乎热榜
  • 发布时间：2026/9/18 08:17:13