虽然我是ai乐观派，而且我也相信现在的LLM和它的衍生物正走在通往AGI的路上，但对于目前御三家（主要是A和O两家）的大模型做出前沿数学问题我还是抱有一些怀疑，这些怀疑也许是我阴暗面的体现，但我还是想提出来。
其实之前我已经提出过，现在的前沿大模型公司毫无疑问在找很多的数学和物理从业者给他们提供一些未发表过的成果和题解，那么如何证明现在声称被大模型证明的数学问题不是有人事先喂了素材，然后再被“偶然”解决的呢？
这其中最可疑的就是最近在世界杯决赛间隙由fable构造出反例的三维雅克比猜想。利用fable解决问题的人本身就是专业数学出身，然后现在还任职于anthropic，那么他很有可能知道模型被喂了什么数学知识（甚至他是喂知识的人之一）。所以这次反例的构造是否可能是他的刻意为之？我这么怀疑可能是因为我内心肮脏，但我还是想说，要证明人工智能拥有比肩或超越人的智能，这件事情本身是“非凡的”，而“非凡的主张需要非凡的证据”。
也许AI需要解决一个真正深刻且困难的数学问题，这个问题的证明本身如果由某个人来完成会使得他获得极高的荣誉（比如菲尔兹奖），只有这样可能才能打消我的疑虑。
不过哪怕是作弊，我也乐见这些企业疯狂的给大模型喂数学、物理以及各种“无用”的知识，因为这也许是是他们去做这种吃力不讨好的事情的唯一的动力。如果有国内哪家大模型公司愿意加入这场被我认为“可能是在作弊”的比赛中，我也是非常支持的。