布尔巴基讨论班沙龙已经没坐着的人了。
大佬们瞠目结舌，恍如隔世。
德维尔手中纸杯被捏变形，“怎么可能，他竟然赢了！”
“My gOd！”布尔热摘下眼镜，用力揉了揉眼睛，表情跟见了鬼似的，“我打赌他的智商起码有200。”
“真没想到他竟然能赢，对我们来说，这是好事。
起码证明Ai没那么厉害。
数学家还有存在的价值。”
“未必。”布尔热依然嘴硬，“云川今天能赢Ai，明天呢，后天呢？
云川今年23岁，这就是他的极限，但不是Ai的极限。
以Ai的迭代速度，说不定半年之后就能把云川甩开。
不管云川赢没赢，数学家的处境没变。”
要真说，还真是。
众人相对无言。
而此时北大，百年大讲堂。
云川正迎来人生小高光时刻。
万众瞩目，他接过主持人递过来的话筒，平复了下心情，露出微笑。
“很荣幸能有这次机会。
我赢了，但我想说的是，我挑战的初衷不是为了展现智力上的优越，而是让更多人，尤其是同行们正视Ai，了解数学。
说句难听点的，尽管我们被成为世俗意义上的天才，但其实我们当中很多人并没有真正了解数学。
就像人们曾经嘲笑维特根斯坦一样，AI的出现让我们知道，维特根斯坦才是那个真正懂数学的人。
随着维特根斯坦的《数学基础研究》在AI时代的全面复活，笼罩在西方文明头顶长达2000年的形而上学神话，终于引来了落幕。
从柏拉图的理念世界，到罗素的逻辑迷宫，再到希尔伯特的公理神殿。
2000年间，西方文明最顶尖的头脑前赴后继，试图为数学找到一块超越人间的基石。
貌似只有这样，数学确定性才能得到保障。
人类的理性才会有尊严。
而维特根斯坦用一本薄薄的、用零散手稿拼凑成的《数学基础研究》，说过一句大逆不道的话——基石不在天上，而在脚下。
确定性不在理念中，而就在我们日复一日的训练、书写、纠错与一致行动中。
数学并不是造物主留在理念王国中的神圣密码。
我们大可不必因为大预言模型，用‘非数学的TOken预测’横扫数学界而坐立不安，更不必陷入理性焦虑。
数学不需要任何神秘的心智基础。
数学确实可以由一串串的tOken才完成，大模型做数学的方式跟人类做数学的方式并没有本质不同。
同样都是在符号系统上华丽舞蹈。
机械跳舞也许跳得更快，但我们跳得更优美。
而且永远不要忘记，人工智能本质上是对人类文明最崇高的致敬。”
“我本人也会进军Ai领域，息流XiWellS将在不久的未来面世，敬请期待。
让数据成为生产力，让模型成为增长引擎。
息流XiWellS驱动全链路自动化，让创新可量化、价值可感知。
息流XiWellS！
智启未来，数造可能！！！”
台下，马文渊教授目光一沉。
本来前面他还挺触动的，可听到最后意识到不对劲。
这家伙搞那么大场面，该不会是为了宣传自己的公司吧？
为了这点醋包的这顿饺子？
不不不，应该没那么无底线。
云川是为了数学的未来。
打广告只是顺带的。
“哈哈哈，好小子，给你的100万入学奖金是北大花过最划算的一笔钱。
走走走，饿了吧，吃饭去，都准备好了！
你是北大的骄傲，我骄傲！”
云川刚从台上下来就被校长按住肩膀，拉去喝庆功酒。
与此同时，建发海宴。
崔允雅家中。
崔允雅正和爸妈坐榻榻米上吃晚饭。
她盘腿坐在垫子上，手机架在碗边，一只手拿筷子，一只手划屏幕，眼睛基本没离开过手机。
见云川赢，她激动地跳了起来。
“Yeah，赢了，欧巴是最棒的！”
汉南洞夫人一脸懵额，“吓我一跳，什么赢了？”
“云川欧巴赢了！”崔允雅得意叉腰，“他今天在北大直播挑战OpenAI，要不是你们突然来，我今天肯定会去现场。
你们知道这有多了不起吗？
欧巴是数学界的骄傲！”
崔泰员没啥动静。
首先他不是数学界的，不清楚这件事的含金量。
其次他讨厌云川，听到云川这两个字就烦。
“有什么了不起，解几道数学题而已，顶多算厉害点的学生罢了。”
崔允雅心生不悦，怪罪嗔怪：“阿爸~”
见气氛有点僵，汉南洞夫人适时把话岔开。
“好了好了，吃饭，允雅，最近在学校怎么样？”
崔允雅收起手机，“就那样呗，你们怎么突然来东大？”
汉南洞夫人放下勺子，笑得很自然。
“来看我们的宝贝女儿啊，还要理由吗？”
崔允雅半信半疑，“真的？”
“当然，对了，你跟那个云川感情怎么样？”
“呃，这个嘛…”
崔允雅把筷子一放，眉宇间多了几分惆怅。
崔泰员可笑了，“是不是分手了？
没错！
云川那种人就该踹掉。
我一早看出他不是好人。”
“才没有！”崔允雅翻了个白眼，“我跟欧巴感情好得很，就是自从他读博以后，见面次数变少了，他好忙啊。”
崔泰员冷哼，“读博有什么可忙的，估计出轨了，还有别的女人。”
“阿爸，你说什么呢？”崔允雅像被踩到尾巴的猫，直接扎刺，气鼓鼓瞪着老崔，“你再这样我要生气了，哼！”
汉南洞夫人站出来打圆场，把她按了回去。
“好啦好啦，你爸爸不是那个意思。
他只是不善于表达，关心你。
来，吃块韩牛，空运过来的哦。
对了，你刚才说云川读博。
他不跟你一届吗，怎么在读博？”
“跳级了呗，云川可厉害了。
整个北大数院就没有不服他的，尤其从今往后。
你们是不清楚这次他挑战AI意味着什么。
他代表全球数学界战胜了Ai，挽回了所有数学家的颜面，并且证明人类的优越性是无可替代的。”
聊起云川，崔允雅的倾诉欲无止境，停不下来。
【我看书斋 www.5ksz.com】