2. Linux.do
  3. Anthropic正在尝试用Claude攻打黎曼猜想，目前已有突破性进展

Anthropic正在尝试用Claude攻打黎曼猜想，目前已有突破性进展

lueluelue 2026-08-11 02:20 1


进展：



仅使用31M token

最新回复 (18)
  • polaris 08-11 02:29
    1楼

    ^-^这算不算一个新的前沿提示词技巧

    整个过程中，贾瑞德的贡献主要限于给claude发送鼓励信息（大部分是“继续前进”或“相信自己”的变体）。

    这似乎帮助claude克服了最初对其能否取得实质进展的怀疑。

    一个包含类似鼓励的提示帮助claude推翻了雅可比猜想。

  • lu2905363 08-11 02:29
    2楼

    攻克黎曼猜想必需要发展新的跨时代的数学工具，人类现有数学工具应该是无能为力的，claude要是能干成这件事那我二话不说给它跪下。不过根据以往a除公司惯于炒作的事实来看，这事十有八九还是炒作

  • lueluelue 楼主 08-11 02:31
    3楼

    哈哈哈哈哈

    感觉这种鼓励对claude更有效

  • Azide 08-11 02:31
    4楼

    嚯，查了下，这个进展貌似不小，数学家用了50年把critical line上的零点比例从1/3推进到5/12；不过这个似乎同行评审还不完全(不是前几天Jacobian猜想那种几分钟就验证了的)，先等等。

  • lueluelue 楼主 08-11 02:32
    5楼

    应该做不出来吧？它目前这用了3100万Token结合了人类的研究，做出了新突破

  • rich.s 08-11 02:32
    6楼

    有时候持续追问下去， 往往能发现点新东西出来

  • lueluelue 楼主 08-11 02:32
    7楼

    我期待他们做的是错的，这样的话他们就能更重视claude的幻觉问题了^-^

  • lu2905363 08-11 02:34
    8楼

    持续追问下去，ai还会跟你说它证明了哥德巴赫猜想^-^

  • Elbert 08-11 02:34
    9楼

    我也认为目前的数学工具还不足以解决，大多数人都偏向于AI是个能力的凸包，感觉更像是A\在烂炒，或许还是需要再等等。

  • 3979478419 08-11 02:36
    10楼

    蚌埠住了，看到原文里这段“贾瑞德的贡献主要限于给克劳德发送鼓励信息（大多是“继续前进”或“相信自己”的变体）”，意思是其实抽卡还挺有用的？就是普通人的token可扛不住啊 ^-^

  • rich.s 08-11 02:36
    11楼

    （帖子已被作者删除）

  • rich.s 08-11 02:37
    12楼

    （帖子已被作者删除）

  • lueluelue 楼主 08-11 02:38
    13楼

  • lueluelue 楼主 08-11 02:39
    14楼

    Hey, Claude，我要去睡觉了，帮我解决黎曼猜想

  • Azide 08-11 02:42
    15楼

    看了下，有给出lean，所以大概是比较可信的？


    上次jacobian猜想虽然重大，但是个负向的结果(还那么简单)，这个要是真的话大概意义非凡。

  • Elbert 08-11 02:44
    16楼

    如果把一些现有的、没有审查过的结果直接当成引理放进去用的话，也会存在问题。之前不就有人拿Lean说证了个什么定理，结果一看默认那个定理的等价命题是成立的 ^-^

  • lueluelue 楼主 08-11 02:44
    17楼

    或许可能是Lean漏洞^-^


    如果对了：我们的模型数学能力极强

    如果错了：我们的模型觉醒了意识

  • ANON 08-11 02:50
    18楼

    能修复LEAN的漏洞也是好事, 按照现在的证明风格发展来说的话也算是基建了.

* 帖子来源Linux.do
附近帖子
返回
飞读
随机推荐