一一中文网

哑口无言。 虽然他智商高达230，被公认为有史以来智商最高的人，但把他换成云川，他心里也没底。 “AI暴力穷举加形式化验证，没法比，我相信云川也清楚这点。 可他依然敢对Ai拔枪，勇气令人敬佩。 我还真想看看赛况，该去哪看？” “邮件里提到，好像北大官网就能看。” 科昂心血来潮，当即找来投影仪。 登陆公开官网，找到直播链接。 当众播放云川挑战AI直播画面。 时间刚刚好，比赛正好开始。 刚到第一题。 …… 主持人站在台上，向镜头和场下观众展示密封的题卡。 “为保证公平，本次比试的题目全部由各国数学机构和顶尖学者匿名提...