第330章 你们东大古话是真多 (第2/2页)
假设不存在普通直线。
取所有由两点确定的直线，及所有点，考虑点-线对…
粉笔嘟嘟声回荡在大讲堂内，扣人心弦。
吸引着所有人的目光。
云川从容不迫，一手板书，一手揣兜。
始终游刃有余。
而OpenAi大模型也在持续发力。
人类和AI的巅峰对决一上来便趋于白热化。
不过到底还是云川率先拔得头筹。
‘…故 (B,PC)是距离更小的点-线对，矛盾。’
齐活！
云川放下粉笔，拍了拍手，退后两步回顾证明过程。
确认无误后，他转身朝裁判席举手示意。
几位由院士和顶尖学者组成的裁判团上台验证。
“证明完整！
核心是最小距离对，用面积法导出更小距离。
矛盾。”
几乎是前后脚，Ai也给出了完整证明。
经裁判认证后，确定无误。
不过晚了1分35秒也是晚。
毫无疑问，第一题，云川赢！
不过，他并没有感到轻松，反倒觉得压力更大了。
Ai追得那么紧，让他头一次感受到压力。
这是以往从没发生的情况。
不能小觑啊，搞不好真的会翻车。
他第一题能赢，对在场师生来说还是很攒劲的。
现场轰然沸腾，掌声雷动。
“先下一城，川神牛逼！”
“我愿称之为最强大脑！”
“哇我服了，看见没有，一块黑板就搞定，就一块黑板！”
“写成论文又是篇《数学年刊》。”
“妈耶，这是我能亲眼目睹的吗？”
“这题的标准证法，多数人会上来就画图、分类、数点，写满两页纸，他连图都没怎么画，先在左上角立了个反证，把‘最小距离对’这个不变量提出来，剩下的就是算面积，切口选得准。”
“而且他处理C在A、B之间’这一步，一句话带过去了，标准证明里这一步最容易绕，很多人在这儿分三种情况，写完自己都不知道写哪了。
他直接写‘否则取相邻两点’，事半功倍！”
“奇才！”
“数院云川，名不虚传。”
……
布尔巴基讨论班也响起了掌声。
大佬们不禁高看了云川一眼。
连之前最傲气的布尔热也对云川刮目相看。
直播间到底还是看不真切。
有些细节很模糊，只能带猜。
大佬们恨不得飞北大去。
“绅士们，我承认，我小瞧了云川，这小家伙实力强劲。”
“当然，看他证明过程就能看出来。”
“Oh，我亲爱的科昂先生，你就别碰瓷人家了。”
“哈哈哈！”
众人哄堂大笑。
皮埃尔-路易·科昂装逼不成，有点尴尬，连忙喝咖啡掩饰。
陶哲宣感叹道：“东大有句古话，叫英雄出少年，云川这小家伙不简单啊，或许真能赢呢？
只要他比OpenAi先解出来，AI卡住就行，卡个几天，按规则就算云川赢。”
“就东大古话多。”柯昂咧嘴，态度依然不变，“你说的那种情况是不可能的，云川侥幸赢一局而已。
Ai不知疲倦，而云川是会累的。”