本科生打败专家？AI这次玩大了

有个事儿挺有意思的。

几十年来，数学家们一直觉得某个关于函数可逆性的著名猜想大概是成立的。但谁也没能真正证明出来。然后，有人让AI去找反例——结果找到了一个短到能发推特的例子。

说真的，这事儿太让人上头了。

到底啥是雅可比猜想？

先说说背景，不然直接看维基百科能把人看懵。

简单来说：数学里的函数，你可以理解成一个"机器"——输入一些数字，按照规则输出另一些数字。

这个猜想问的问题是：不管什么函数，是不是都能找到另一个函数把它"倒回去"？

打个比方：如果一个函数把空间里的点移动了一下，那只要它没有把空间"压扁"或者"折起来"（数学家用"雅可比行列式"来衡量这个），就应该能找到一个反向函数，把所有点都放回原位。

听起来挺合理的对吧？

但问题来了：没人能证明这事儿一定成立。结果呢，现在AI帮忙找到了反例——在某些维度上，这个猜想其实是错的。

剧情反转：答案简单得离谱

最让数学圈炸锅的是：AI找到的这个反例，小得可怜。怎么说呢，尴尬地小。一条社交媒体帖子就能放下。

找反例的难点在于：你得构造一种特殊的函数——既不"折叠"空间，又没法被逆转。这俩要求听起来矛盾，但在某些维度里居然能同时存在。

重点来了：专家们一直以为这种东西根本不存在，就算存在也会超级复杂。结果Claude找到的公式，短到漂亮。

有个数学论坛的用户多年前就说过："找个聪明的本科生，随便写个公式就能推翻这个猜想。"

没想到，他说对了。公式太短，其他数学家几乎是秒验证。

跟你有啥关系？

我知道你在想啥："数学那玩意儿跟我有啥关系？"

问得好。但我觉得这事儿的重点不在数学本身。

我们现在正在经历一个时代：AI正在成为人类创造和发现的真正"搭档"。不是说它只是个干活的工具，而是它真的能帮我们用新的方式思考。

一个几周前才发布的AI模型，就能帮着解决一个快90年的难题？这挺厉害的。

而且这也不是孤例。我们越来越常看到AI在那些"本该免疫自动化"的领域做出真正的贡献。数学家、物理学家、程序员——以前谁会觉得这些职业会被AI"颠覆"？但事实就摆在这儿。

顺便说一句，1884年提出的二维版本到现在还没解决。所以活儿还多着呢。三维及以上？搞定了。

往大了看

我觉得最值得琢磨的，是这事儿折射出的东西：数学直觉这东西，有时候也会骗人。

几十年来，专家们相信雅可比猜想大概是对的。很多人还把整个学术生涯都押在这个信念上。结果AI一搜索，发现直觉错了——至少在高维情况下。

这告诉我们一个道理：再聪明的人，朝着错误方向看的时候，也会漏掉眼前的东西。有时候需要的只是一双新眼睛——或者一套新的神经网络。

不管你对AI怎么看，有一点我们大概都能同意：

这年头，活在这个世界上，还挺刺激的。