DC娱乐网

卧槽???一个没有高等数学训练背景的年轻人,用 ChatGPT Pro 解开了一

卧槽???一个没有高等数学训练背景的年轻人,用 ChatGPT Pro 解开了一个困扰数学界 60 年的埃尔德什猜想,而且终于得到了数学界的认可。

之前 AI 解埃尔德什的案例已经有不少(埃尔德什猜想是个系列的问题合集,并不是某个单一的问题),但数学家们一直在泼冷水:这些问题难度参差不齐,不少 AI 的解法事后看也没那么有原创性。

这次不同的地方在于,这道题确实有一批正经数学家认真尝试过但没做出来,而且 ChatGPT Pro 给出的方法路径是全新的。

数学家陶哲轩对此发表了评论:过去所有研究这个问题的人,在第一步就集体走了一条微妙的弯路。ChatGPT Pro 完全绕开了那条标准路线,用了一个在相邻数学领域里其实很常见的公式,但从没有人想过把它用在这类问题上。

也就是说,不能说 AI 比数学家们更强,只是 AI 没有继承人类的思维惯性,避开了解题是的心理盲区。

这个年轻人叫 Liam Price,只有 23 岁,之前没有经历过高数训练,所以他并不知道这道题的历史,也不了解它在数学界的分量。这位老弟纯粹是闲来无事,把网上看到的这个问题丢给 AI 玩,而且只用了一条 prompt

这里还要额外说明下,ChatGPT Pro 原始输出的证明质量其实很差,最终是斯坦福大学助理教授 Lichtman 和陶哲轩一起把证明缩短、提纯,才把核心洞察提炼了出来,算是完成了解题的最后一公里。

但陶哲轩和 Lichtman 非常认可这个方法在其他问题上的潜在应用。尤其是 Lichtman 对此很兴奋,他说自己读研时就有一种直觉,觉得这些问题之间是成簇的、有某种统一性,而 AI 这次用的新方法恰好在确认这种直觉。