第330章 你们东大古话是真多

“未免太悲观了吧？”

“假如让你上，你有几分把握，陶？”

陶哲宣哑口无言。

虽然他智商高达230，被公认为有史以来智商最高的人，但把他换成云川，他心里也没底。

“AI暴力穷举加形式化验证，没法比，我相信云川也清楚这点。

可他依然敢对Ai拔枪，勇气令人敬佩。

我还真想看看赛况，该去哪看？”

“邮件里提到，好像北大官网就能看。”

科昂心血来潮，当即找来投影仪。

登陆公开官网，找到直播链接。

当众播放云川挑战AI直播画面。

时间刚刚好，比赛正好开始。

刚到第一题。

……

主持人站在台上，向镜头和场下观众展示密封的题卡。

“为保证公平，本次比试的题目全部由各国数学机构和顶尖学者匿名提供，现场随机抽取，第一题…”

主持人撕开封条，将题卡递给工作人员。

投影幕布上出现题目。

‘平面上给定n个点，任意三点不共线。

证明：存在一条直线，恰好经过其中两个点。’

看清题目，台下一片哗然。

“这不是SylveSter-Gallai吗？”

“结论谁都知道，可要现场给完整证明难如登天。”

“看着简单，证起来绕。”

“可不变量不好找，我印象里标准证明用的是最小距离，但细节很琐碎。”

“那啥，我冒昧问一句，这不随手的事吗，随便连一条边不就完了？”

“搞笑，你学体育的吧？

问题是要保证对所有构型都存在，不是大多数情况有。”

“这么难也好，AI不可能秒。”

“关键川神不会怎么办？”

“就算会，能不能比Ai快又是个问题。”

“太难了，这就是天才的世界，寻常人看一眼要掉San值。”

……

巴黎，布尔巴基讨论班沙龙。

大佬们看完题目也抓耳挠腮。

“SylveSter-Gallai，经典，结论太有名了，但证明不平凡。”

“其实这

题对云川来说占优。

考的是‘找结构’，不是‘算’。

AI如果从数据库里调标准证明，能写，但会很长。

人要是能找到那个最小面积或者最小距离的切口，三五行就完了。”

“那也不简单，问题在于极值法的最小反例怎么构造。”

“假设每条过两点的直线都至少过第三个点。

取所有点对距离之和最小的那条连线AB，设它上面还有第三点C，再从C向另一条过两点且含第三点的直线作垂足/投影，推出存在一条更短的点对距离。”

“为什么取距离和最小就能逼出矛盾？”

“因为需要同时控制距离和共线两个结构。”

“垂足落点的位置要分情况讨论，稍不留神就漏一种构型。”

“本质上是在用度量距离去证明一个纯组合/射影命题，工具和分析对象错位。”意识到题目棘手程度，陶哲宣咋舌，揉了揉眼窝。

“看那小子怎么起手。”布尔热目不转睛，盯着直播画面，

……

云川站在移动黑板前，审了会儿题才开始动作。

反证！

假设不存在普通直线。

取所有由两点确定的直线，及所有点，考虑点-线对…

粉笔嘟嘟声回荡在大讲堂内，扣人心弦。

吸引着所有人的目光。

云川从容不迫，一手板书，一手揣兜。

始终游刃有余。

而OpenAi大模型也在持续发力。

人类和AI的巅峰对决一上来便趋于白热化。

不过到底还是云川率先拔得头筹。

‘…故

(B,PC)是距离更小的点-线对，矛盾。’

齐活！

云川放下粉笔，拍了拍手，退后两步回顾证明过程。

确认无误后，他转身朝裁判席举手示意。

几位由院士和顶尖学者组成的裁判团上台验证。

“证明完整！

核心是最小距离对，用面积法导出更小距离。

矛盾。”

几乎是前后脚，Ai也给出了完整证明。

经裁判认证后，确定无误。

不过晚了1分35秒也是晚。

毫无疑问，第一题，云川赢！

不过，他并没有感到轻松，反倒觉得压力更大了。

Ai追得那么紧，让他头一次感受到压力。

这是以往从没发生的情况。

不能小觑啊，搞不好真的会翻车。

他第一题能赢，对在场师生来说还是很攒劲的。

现场轰然沸腾，掌声雷动。

“先下一城，川神牛逼！”

“我愿称之为最强大脑！”

“哇我服了，看见没有，一块黑板就搞定，就一块黑板！”

“写成论文又是篇《数学年刊》。”

“妈耶，这是我能亲眼目睹的吗？”

“这题的标准证法，多数人会上来就画图、分类、数点，写满两页纸，他连图都没怎么画，先在左上角立了个反证，把‘最小距离对’这个不变量提出来，剩下的就是算面积，切口选得准。”

“而且他处理C在A、B之间’这一步，一句话带过去了，标准证明里这一步最容易绕，很多人在这儿分三种情况，写完自己都不知道写哪了。

他直接写‘否则取相邻两点’，事半功倍！”

“奇才！”

“数院云川，名不虚传。”

……

布尔巴基讨论班也响起了掌声。

大佬们不禁高看了云川一眼。

连之前最傲气的布尔热也对云川刮目相看。

直播间到底还是看不真切。

有些细节很模糊，只能带猜。

大佬们恨不得飞北大去。

“绅士们，我承认，我小瞧了云川，这小家伙实力强劲。”

“当然，看他证明过程就能看出来。”

“Oh，我亲爱的科昂先生，你就别碰瓷人家了。”

“哈哈哈！”

众人哄堂大笑。

皮埃尔-路易·科昂装逼不成，有点尴尬，连忙喝咖啡掩饰。

陶哲宣感叹道：“东大有句古话，叫英雄出少年，云川这小家伙不简单啊，或许真能赢呢？

只要他比OpenAi先解出来，AI卡住就行，卡个几天，按规则就算云川赢。”

“就东大古话多。”柯昂咧嘴，态度依然不变，“你说的那种情况是不可能的，云川侥幸赢一局而已。

Ai不知疲倦，而云川是会累的。”