Science · 2026-10-27 · 午后简报
OpenAI、Anthropic声称在对决证明中取得突破
OpenAI发布了三项重大证明，声称解决了数学、物理和计算机科学领域长期存在的问题。紧随其后的是竞争对手Anthropic公司，仅在数小时后就发布了自己独立的成果。两家公司现在都声称已经驳斥了指数时间假设，这是1999年首次提出的计算机科学基础理论。
这些发布具有争议性。OpenAI将其生成证明的大型语言模型保密，未公开所使用的提示和计算方法。此举也与OpenAI自己组织的专家小组——数学与人工智能咨询小组的建议相悖。其中一项证明与杨-米尔斯问题有关，该问题是克莱数学研究所在2000年确立的七个未解决的“千禧年问题”之一。
摘要由 Cup of News 借助 AI 根据下列来源撰写。完整内容请查看原文。
查看来源
- Dueling proofs from OpenAI and Anthropic astound scientists
- OpenAI Claims Navier–Stokes Breakthrough, Sparking Research Dispute
- OpenAI touts math breakthrough. Mathematicians dispute credit
- Some OpenAI math discoveries are ‘jewels,’ if verified. But mathematicians are wary of ‘slop.’
- OpenAI Is Pissing Off a Bunch of Mathematicians—Again
Cup of News
每天两次，每次十条新闻。安静，无通知。
获取应用