“未免太悲观了吧？”
“假如让你上，你有几分把握，陶？”
陶哲宣哑口无言。
虽然他智商高达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不知疲倦，而云川是会累的。”
【我看书斋 www.5ksz.com】