第330章 你们东大古话是真多 (第1/3页)
“未免太悲观了吧？”
“假如让你上，你有几分把握，陶？”
陶哲宣哑口无言。
虽然他智商高达230，被公认为有史以来智商最高的人，但把他换成云川，他心里也没底。
“AI暴力穷举加形式化验证，没法比，我相信云川也清楚这点。
可他依然敢对Ai拔枪，勇气令人敬佩。
我还真想看看赛况，该去哪看？”
“邮件里提到，好像北大官网就能看。”
科昂心血来潮，当即找来投影仪。
登陆公开官网，找到直播链接。
当众播放云川挑战AI直播画面。
时间刚刚好，比赛正好开始。
刚到第一题。
……
主持人站在台上，向镜头和场下观众展示密封的题卡。
“为保证公平，本次比试的题目全部由各国数学机构和顶尖学者匿名提供，现场随机抽取，第一题…”
主持人撕开封条，将题卡递给工作人员。
投影幕布上出现题目。
‘平面上给定n个点，任意三点不共线。
证明：存在一条直线，恰好经过其中两个点。’
看清题目，台下一片哗然。
“这不是SylveSter-Gallai吗？”
“结论谁都知道，可要现场给完整证明难如登天。”
“看着简单，证起来绕。”
“可不变量不好找，我印象里标准证明用的是最小距离，但细节很琐碎。”
“那啥，我冒昧问一句，这不随手的事吗，随便连一条边不就完了？”
“搞笑，你学体育的吧？
问题是要保证对所有构型都存在，不是大多数情况有。”
“这么难也好，AI不可能秒。”
“关键川神不会怎么办？”
“就算会，能不能比Ai快又是个问题。”
“太难了，这就是天才的世界，寻常人看一眼要掉San值。”
……
巴黎，布尔巴基讨论班沙龙。
大佬们看完题目也抓耳挠腮。
“SylveSter-Gallai，经典，结论太有名了，但证明不平凡。”
“其实这
（本章未完，请点击下一页继续阅读）