专题 · 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 在专业性极强的猜想上辅助发现新数学对象的潜力。
- Claude 助手发现 6 维球复结构,解 60 年数学难题 — Singularitarian · 2026-08-24
- Anthropic 数学家称 Claude 解决了 1948 年公开数学难题 — GregCook2011 · 2026-08-24
- Claude 攻克数学难题:S^6 复结构猜想获证 — scaling01 · 2026-08-24
- AI 助攻解决 Hopf 猜想,证明六维球存在复结构 — soumitrashukla9 · 2026-08-24
- Claude 助力解决困扰学界 80 年的数学难题 — haider1 · 2026-08-24
- 数学家:Claude 帮助发现新的几何对象 S^6 — eldonredwards · 2026-08-24
第 2 集 · AI 证伪 Complex S^6 引发数学界争议(2026-08-24,2 条)
针对 AI 证伪 Complex S^6 数学难题一事,数学界引发了关于“声望资源”的争论。一方面有人惋惜优雅问题被解决,另一方面观点认为虽然声望稀缺,但有趣的问题并不稀缺,反驳了 AI 消耗数学资源的悲观看法。
- Complex S^6 被证伪,AI 证明数学成果引争议 — doomslide · 2026-08-24
- 数学家辩论:AI 解决难题是否在消耗“声望资源” — littmath · 2026-08-24