聊聊AI“又”解决了一个数学难题

聊聊之前的事情

Anthropic Claude ：将费马大定理的证明形式化为 1300 万行 Lean 代码，耗时约11天。 引起了轰动。

问：对了嘛？ 根本不对。

举个例子就是：你和父母说，你是从未来穿越来的，彩票中奖号码是1 3 5 7 9。 然后父母高高兴兴的买了一张，发现中奖号码是2 11 13 15 17。

我们别问预测的准不准，就问AI他拿出来了1300W行代码。这行数NB不NB。

聊聊这个套路

举个例子就是：你和父母说，你是从未来穿越来的，彩票中奖号码是1 3 5 7 9。 然后父母高高兴兴的买了一张，发现中奖号码是2 11 13 15 17。

第二天，你又做了一个预知梦，中奖号码是： 03 09 17 24 31 + 04 09 05 12 19 27 33 + 02 07 01 08 15 22 30 + 06 11 04 11 18 25 34 + 01 08 02 10 16 23 29 + 03 10 06 13 20 28 35 + 05 12 07 14 21 26 32 + 02 09 03 10 18 25 31 + 04 07 01 09 16 24 33 + 01 11 05 12 20 27 34 + 06 08 02 11 19 26 30 + 03 12 04 13 22 28 35 + 05 10 06 15 21 29 32 + 02 07 08 14 23 27 31 + 04 09 01 10 17 25 33 + 01 08

有人说：你这个预知梦不靠谱？ 但凡有个能中一个亿，我们不就翻身了？

• 假如这个是假的，那只不过是几元钱彩票钱
• 假如是真的，那就是几个亿。

以小博大，紧张刺激

其实这个逻辑很简单：

• 跑11天也就消耗一点电费
• 但是一旦证明这个成功了，那就代表着AI有能力独立解决各种计算问题

那也就代表着人类智慧的腾飞。

就11天的电费，说得好像谁出不起一样。

为什么这么搞

其实本质上，Anthropic Claude这个公司他估值太高了。 如果没有什么“改变世界”的东西，那很难支撑他的股价。

这一次解决的问题是：N维挂谷问题。

逻辑非常非常简单：

• 做出这个题目的人，得了数学界的诺贝尔奖——普利策奖
• 然后Anthropic Claude想去蹭热度，就尝试性的做了一个验证
• 然后，AI不会拒绝任何问题，就进行了尝试，给出了一个结论
• Anthropic Claude拿着结果就开始吹NB

至于真的还是假的？ 假如真的做出来了，而且证明正确，人类智慧就起飞了。

一个可以拿到普利策奖的数学问题都被解决了，那就代表着AI彻底攻陷数学界，拿下了皇冠上的明珠。 这个链路被证明后，AI可以解决大多数和数学相关的问题。

但是：概率不高。 和中彩票差不多。