- lueluelue2026-08-11
anthropic.com
Learning more about Claude's mathematical capabilities
An unreleased version of Claude has made strides on a problem related to the Riemann hypothesis. It improved the lower bound for the fraction of zeros of the Riemann zeta function that satisfy the hypothesis, increasing it from 41.6% to 67.2%.
进展：
仅使用31M token
主楼 - polaris2026-08-11
^-^这算不算一个新的前沿提示词技巧
整个过程中，贾瑞德的贡献主要限于给claude发送鼓励信息（大部分是“继续前进”或“相信自己”的变体）。
这似乎帮助claude克服了最初对其能否取得实质进展的怀疑。
一个包含类似鼓励的提示帮助claude推翻了雅可比猜想。
lu29053632026-08-11攻克黎曼猜想必需要发展新的跨时代的数学工具，人类现有数学工具应该是无能为力的，claude要是能干成这件事那我二话不说给它跪下。不过根据以往a除公司惯于炒作的事实来看，这事十有八九还是炒作
- lueluelue2026-08-11
- Azide2026-08-11
嚯，查了下，这个进展貌似不小，数学家用了50年把critical line上的零点比例从1/3推进到5/12；不过这个似乎同行评审还不完全(不是前几天Jacobian猜想那种几分钟就验证了的)，先等等。
- lueluelue2026-08-11
应该做不出来吧？它目前这用了3100万Token结合了人类的研究，做出了新突破
- rich.s2026-08-11
有时候持续追问下去， 往往能发现点新东西出来
- lueluelue2026-08-11
我期待他们做的是错的，这样的话他们就能更重视claude的幻觉问题了^-^
- lu29053632026-08-11
持续追问下去，ai还会跟你说它证明了哥德巴赫猜想^-^
- Elbert2026-08-11
我也认为目前的数学工具还不足以解决，大多数人都偏向于AI是个能力的凸包，感觉更像是A\在烂炒，或许还是需要再等等。
- 39794784192026-08-11
蚌埠住了，看到原文里这段“贾瑞德的贡献主要限于给克劳德发送鼓励信息（大多是“继续前进”或“相信自己”的变体）”，意思是其实抽卡还挺有用的？就是普通人的token可扛不住啊 ^-^
- rich.s2026-08-11
（帖子已被作者删除）
- rich.s2026-08-11
（帖子已被作者删除）
- lueluelue2026-08-11
- lueluelue2026-08-11
Hey, Claude，我要去睡觉了，帮我解决黎曼猜想
- Azide2026-08-11
- Elbert2026-08-11
如果把一些现有的、没有审查过的结果直接当成引理放进去用的话，也会存在问题。之前不就有人拿Lean说证了个什么定理，结果一看默认那个定理的等价命题是成立的 ^-^
- lueluelue2026-08-11
- anon2026-08-11
能修复LEAN的漏洞也是好事, 按照现在的证明风格发展来说的话也算是基建了.
