主要来源arXiv: Anthropic
查看原文事件专题 ·官方一手
Claude Opus 5.5 找到引理，Ordered Variable Word 定理的 Π¹₁-保守性被证明
论文证明 Ordered Variable Word 定理在 RCA₀ + BΣ⁰₂ 上是 Π¹₁-保守的。由此推出 Chubb、Hirst 与 McNicholl 的单点树定理在 RCA₀ + BΣ⁰₂ 上同样 Π¹₁-保守，解答了一个长期悬而未决的公开问题。论文中的引理 3.13 由 Anthropic 的 Claude Opus 5.5 找到。
当前结论
数学证明里有个关键引理是 Claude Opus 5.5 找到的，还顺手解决了一个拖了很久的逆问题，逆向数学方向可以看看。
11 个信源29° AI 热度最后更新 2026/10/20 05:04:13
证据链
11 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。