Event ·Official first-hand

Claude Opus 5.5 找到引理，Ordered Variable Word 定理的 Π¹₁-保守性被证明

论文证明 Ordered Variable Word 定理在 RCA₀ + BΣ⁰₂ 上是 Π¹₁-保守的。由此推出 Chubb、Hirst 与 McNicholl 的单点树定理在 RCA₀ + BΣ⁰₂ 上同样 Π¹₁-保守，解答了一个长期悬而未决的公开问题。论文中的引理 3.13 由 Anthropic 的 Claude Opus 5.5 找到。

Current read

数学证明里有个关键引理是 Claude Opus 5.5 找到的，还顺手解决了一个拖了很久的逆问题，逆向数学方向可以看看。

11 sources29° AI heatLast updated 2026/10/20 05:04:13

Evidence

11 sources

Primary sourcearXiv: Anthropic

2026/10/20 05:04:13View source

Related source 1Ethan Mollick

2026/10/20 21:25:24View source

Related source 2TestingCatalog

2026/10/21 19:15:11View source

Related source 3AIGCLINK

2026/10/21 23:20:38View source

Related source 4rohanpaul_ai

2026/10/18 05:45:34View source

Related source 5kimmonismus

2026/10/18 07:23:35View source

Related source 6Lenny Rachitsky

2026/10/18 18:52:07View source

Related source 7宝玉

2026/10/19 19:00:05View source

Related source 8Artificial Analysis

2026/10/20 16:13:48View source

Related source 9Anthropic: Research

2026/10/20 16:48:57View source

Related source 10swyx (AI Engineer)

2026/10/21 05:06:02View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.

Open the story