第330章 你们东大古话是真多 (第1/2页)
“未免太悲观了吧？”
“假如让你上，你有几分把握，陶？”
陶哲宣哑口无言。
虽然他智商高达230，被公认为有史以来智商最高的人，但把他换成云川，他心里也没底。
“AI暴力穷举加形式化验证，没法比，我相信云川也清楚这点。
可他依然敢对Ai拔枪，勇气令人敬佩。
我还真想看看赛况，该去哪看？”
“邮件里提到，好像北大官网就能看。”
科昂心血来潮，当即找来投影仪。
登陆公开官网，找到直播链接。
当众播放云川挑战AI直播画面。
时间刚刚好，比赛正好开始。
刚到第一题。
……
主持人站在台上，向镜头和场下观众展示密封的题卡。
“为保证公平，本次比试的题目全部由各国数学机构和顶尖学者匿名提供，现场随机抽取，第一题…”
主持人撕开封条，将题卡递给工作人员。
投影幕布上出现题目。
‘平面上给定n个点，任意三点不共线。
证明：存在一条直线，恰好经过其中两个点。’
看清题目，台下一片哗然。
“这不是SylveSter-Gallai吗？”
“结论谁都知道，可要现场给完整证明难如登天。”
“看着简单，证起来绕。”
“可不变量不好找，我印象里标准证明用的是最小距离，但细节很琐碎。”
“那啥，我冒昧问一句，这不随手的事吗，随便连一条边不就完了？”
“搞笑，你学体育的吧？
问题是要保证对所有构型都存在，不是大多数情况有。”
“这么难也好，AI不可能秒。”
“关键川神不会怎么办？”
“就算会，能不能比Ai快又是个问题。”
“太难了，这就是天才的世界，寻常人看一眼要掉San值。”
……
巴黎，布尔巴基讨论班沙龙。
大佬们看完题目也抓耳挠腮。
“SylveSter-Gallai，经典，结论太有名了，但证明不平凡。”
“其实这题对云川来说占优。
考的是‘找结构’，不是‘算’。
AI如果从数据库里调标准证明，能写，但会很长。
人要是能找到那个最小面积或者最小距离的切口，三五行就完了。”
“那也不简单，问题在于极值法的最小反例怎么构造。”
“假设每条过两点的直线都至少过第三个点。
取所有点对距离之和最小的那条连线AB，设它上面还有第三点C，再从C向另一条过两点且含第三点的直线作垂足/投影，推出存在一条更短的点对距离。”
“为什么取距离和最小就能逼出矛盾？”
“因为需要同时控制距离和共线两个结构。”
“垂足落点的位置要分情况讨论，稍不留神就漏一种构型。”
“本质上是在用度量距离去证明一个纯组合/射影命题，工具和分析对象错位。”意识到题目棘手程度，陶哲宣咋舌，揉了揉眼窝。
“看那小子怎么起手。”布尔热目不转睛，盯着直播画面，
……
云川站在移动黑板前，审了会儿题才开始动作。
反证！
（本章未完，请点击下一页继续阅读）