Claude大幅提升黎曼猜想证明边界覆盖

Jarred Sumner@jarredsumner8 天前，我在慢跑时让 Claude 解决黎曼猜想。它没有解决。1.5 天后，它证明了至少 67% 的零点位于直线上（此前：41.6%）。仍不确定这意味着什么，但一些解析数论学家似乎很兴奋。

---

Jarred Sumner@jarredsumner14 小时前

我之前在单次会话中试过一次，毫无进展。8 天前，当我再次尝试时，开场白是这样的：

152055290K

Jarred Sumner@jarredsumner14 小时前

主要的工作是近期的人类成果——Baluyot、Goldston、Suriajaya & Turnage-Butterbaugh 的论文，加上 Bombieri 2000 年的一篇论文。Claude 的贡献在于发现它们可以整合在一起。Goldston 本人亲自审阅了这篇论文。证明已在 Lean 中形式化。

2737355K

Jarred Sumner@jarredsumner14 小时前

我完全不是数学家。16 岁时从高中退学。退学前大概只学了半个学年的高二几何。我没有为这篇论文贡献任何数学内容。我大部分时候只是对 Claude 说"继续"和"相信你自己"。

112264048K

Jarred Sumner@jarredsumner14 小时前

如果你把下面的文本粘贴进去：

Sonnet 5 拒绝相信它，但说不出为什么。 Haiku 4.5 承认它不知道。 Opus 5 在思考了 17 分钟后超时。

——定理（无条件）。至少 2/3 的非平凡零点（满足 T < Im ρ ≤ 2T 的）位于 Re s = ½。

确切地说：s :=

10929737K

---

Kausik@therealKausik14 小时前

很高兴看到我们的提示策略很相似。

3333023K