专题 · FULL STORY

S^6复结构之争:AI辅助证明引发震荡

Anthropic数学家称与Claude合作证明六维球面存在复结构,震动数学界;随后AI又证伪该结论的说法引发关于声望资源与优雅问题消亡的激烈争论,事件仍在发酵。

2026-08-24 ~ 2026-08-24 · 2 集 · 8 条

第 1 集 · Anthropic 数学家与 Claude 合作声称证明 S^6 存在复结构(2026-08-24,6 条)

TL;DR: 据 @Singularitarian、@soumitrashukla9、@scaling01、@GregCook2011 等多位博主转述,一位 Anthropic 数学家与 Claude 合作,声称证明了六维球面(S^6)存在复结构,触及数学界悬置近 80 年的 Hopf 公开问题。原始发布者表示初步检查未发现错误,且研究可能仅耗时 3 天,但证明细节仍需同行评审核实。

已确认

  • 多方转述一致指向同一事件:Claude 参与攻克“S^6 是否存在复结构”这一经典公开问题,结论为肯定。
  • @soumitrashukla9 与 @scaling01 指出该问题自 1947 年起开放,Atiyah 曾在 2016 年给出错误证明,此前也有众多专家误证。
  • @GregCook2011 转述称问题自 1948 年悬而未决,Claude 在发现新的几何对象中起到关键作用。
  • @scaling01 与 @eldonredwards 提及数学家 Alpoge 分享了这一成果;Ethan Mollick 转发表示惊叹。
  • @Singularitarian 转述:初步检查未发现错误,成果可能仅用 3 天得出。

尚未确认

  • 证明的最终正确性:原始发布者仅做了初步检查,多位转述者均强调细节需进一步核实。
  • 参与模型的具体版本:转述中分别出现 Claude 3 与泛称 Claude 助手,表述不一致。

为什么重要

  • 若证明成立,将解决困扰学界近 80 年的难题,且该问题以“吸引众多专家误证”著称,新证明必须经严格审查。
  • 事件被视为 LLM 参与高度抽象数学研究的标志性案例,显示 AI 在专业性极强的猜想上辅助发现新数学对象的潜力。

第 2 集 · AI 证伪 Complex S^6 引发数学界争议(2026-08-24,2 条)

针对 AI 证伪 Complex S^6 数学难题一事,数学界引发了关于“声望资源”的争论。一方面有人惋惜优雅问题被解决,另一方面观点认为虽然声望稀缺,但有趣的问题并不稀缺,反驳了 AI 消耗数学资源的悲观看法。