Anthropic 研究者借助 Claude 解决 79 年未解的六维球体 Hopf 问题

Anthropic 数学家 Levent Alpöge 借助内部版本的 Claude 模型，给出了 1947 年由 Heinz Hopf 提出的六维球体存在复结构的数学证明。Alpöge 发布的百余页论文起初因大语言模型的叙述方式而难以阅读，随后数学界对其进行了重构，OpenAI 研究员 Boris Alexeev 则使用 Lean 编程语言完成了逐步形式化验证。