OpenAI 首席执行官 Sam Altman 近期公开回应了该公司密集发布由人工智能生成的数学研究成果所引发的争议 。在周四播出的《Cheeky Pint》播客节目这一期内容中,这是 OpenAI 负责人首次直接阐述其工作对数学界的影响 。Altman 承认这些成果给研究人员带来了困扰,并明确表示对现有的研究方法抱…

数学研究社区与OpenAI的合作关系因多项质量和伦理问题而告终。2026年9月,OpenAI宣称利用人工智能解决了纳维-斯托克斯千禧年难题,投入约1500万美元的token费用 。包括菲尔兹奖得主特伦斯·陶在内的25位国际顶尖数学家随后发表公开信《AI在数学中的严重错位》,指出这一成果存在数据伦理问题、证明难以阅读且…
AI实验室正在以前所未有的速度解决科学难题并产生大量研究成果,但这一进展正在引发学术界的担忧。AI在数学领域取得突破性进展,包括解决千禧年大奖问题在内的重大发现,然而科学界消化、理解这些发现的速度远远跟不上其产生的步伐。

OpenAI本周发布了722篇数学论文,声称涉及372个未解决问题的重大突破。部分论文宣称解决了黎曼假设和Birch-Swinnerton-Dyer猜想等千禧年大奖问题。然而这一大规模发布随即引发数学界广泛争议,已有3篇论文因初等错误被撤回,多篇因错误被修改。
加州大学伯克利分校教授Amit Sahai近日撰文指出,随着人工智能系统开始产生原创数学思想,数学研究社区需要大幅扩展人力资源。Sahai表示"AI系统已经在产生美丽的新思想,远不止于印象深刻的计算",因此"我们将需要大量更多的数学家"。
近五千名数学家(包括二十五位菲尔茨奖得主)签署了名为《AI在数学中的严重错位》的声明,对人工智能在数学研究中的作用提出了关切。声明认为,尽管AI能够解决复杂问题,但这些解法绕过了概念理解这一数学研究的根本目标。签署者指出,大量通过AI生成的"真假"数学陈述可能摧毁而非促进新思想的产生。
Yoneda引理作为范畴论的基本工具,其在双范畴框架中的表述引发了新的数学探讨。在这一更抽象的结构中,双范畴的0-胞代表范畴,但无法直接访问其对象。
25位菲尔兹奖得主联合发表公开信,指责OpenAI等AI实验室在解决数学问题时存在学术不诚实行为。这些指控包括仓促发表未经验证的证明、未能正确署名合作者,以及可能利用他人研究成果等问题。纽约大学教授特里斯坦·巴克马斯特声称,OpenAI曾向他施压,要求他不要在Anthropic合作者的署名中予以认可。
数学家Andreas Thom在社交媒体上指控OpenAI可能在未经授权的情况下,将他与Gábor Kun关于Gromov soficity猜想的未发表研究用于训练Astra模型。该模型随后宣称已解决包括这一猜想在内的十大问题。
NYU数学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge利用AI模型在重大未解数学难题Navier-Stokes存在性与光滑性问题上取得突破性进展。该问题是Clay数学研究所设立的七大"千禧年难题"之一,解决者可获得100万美元奖金。
AI生成的数学解决方案近来在博客和社交媒体平台上广泛发布,引发传统数学家的担忧。这些学者主张新发现应当在经过人工同行评审的期刊上正式发表,而不是直接面向公众。