这个是真让人震惊，AI居然证伪了雅可比猜想。

这个猜想最初是由数学家Keller于1939年提出，离现在已经87年了。这个问题难倒了无数人类中最聪明的大脑，包括张益唐和张益唐的导师。

这个猜想，大一新生，只要学了高数，就能看懂。但是你们现在不是已经不是大一了么？离你们巅峰的数学水平越来越远了，所以也看不懂了，就没必要讲猜想本身了。我们主要讲AI在这个过程中的作用。

事情是这么回事。就是anthropic公司的研究员，也是一个数学家levent，用fable5大模型找到了一个反例，证明雅可比猜想从n=3的时候，就是不成立的，而且很容易扩展到n>3的情形。

具体怎么搞的，细节不是很清楚。只知道fable5搜到了一个俄罗斯数学家的论文，然后推广到n=3的情形，就构造了一个简单的反例。奇怪的是，这个反例，非常非常简单，简单到似乎用计算机进行暴力搜索应该也能找到。如果把这层窗户纸捅破，甚至用手算都能构造出来。这个俄罗斯数学家，实在太可惜了，就差一步，就能拿到这个大成果了。当时他要是解出来了，那菲尔兹奖问题不是很大。

既然以前计算机找不到，只能说明找的过程，需要的算力极大，没想的那么简单。用上大模型之后，就轻松找到了。说明大模型相比传统的计算机方法，还是有过人之处的。

这个猜想，坑了张益唐，也坑了张益唐的导师。张益唐的博士论文就是讲这个的，只是讲的是n=2的情形。由于在论文中引用了他导师的一个引理，导致结论是错误了。但是所在大学认为张益唐在这个过程中已经体现了高超的水准，还是给了他博士学位。他导师估计是觉得丢脸了，都没给他写推荐信，那么张益唐就找不到教职，后来去赛百味打工了。

其实张的导师更惨，一辈子花了大量精力搞这个方面的研究，现在证明几乎白费了。而张后面在孪生素数猜想上取得了重大突破。

如果AI早出来，证伪了雅可比猜想，那么张益唐就没必要把时间浪费在这个上面了。因为证伪的反例，是如此的简单，才让人觉得可惜。

这一届菲尔兹奖，可能是最后一届不用AI的菲尔兹奖了。后面数学家，除了纸和笔，还需要token，这也有个好处，可以申请预算了。

所以，能用AI，尽量用起来，说不定耗尽你一生精力的难题，AI两下三下就解决了。