第71章 人类要做的是定义真理 学霸养成,从剧透日心说开始
他沉声道,“在我看来,ai只適合做脏活和累活。”
“我们人类要做的,是站在比ai更高的维度,直接定义真理。”
“明天见~”
留下【振聋发聵】的几句话之后,齐物继续去寻找好吃的食物了。
而六大天才,也在第一时间確定了——
齐物,
这个预赛全球第一,
绝非浪得虚名!
————
11月1日。
杭城阿力八八西溪园区,达摩院穹顶实验室。
这里专门为了决赛搭建了一个比赛场。
中间的圆形舞台被一分为二。
左边,是七个晶莹剔透的隔音玻璃仓,这是人类的座位。齐物、韦东、john chen、刘一凡、李明泽、赵子贤、张羽,已经静坐其中。
右边,则是七台如同黑色方尖碑的超级伺服器集群阵列。
企鹅圆宝、deepseek、豆宝、openai gpt-4、 claude 3 opus、gemini、九章,七大ai大模型已然设置完毕。
幽蓝色的水冷指示灯不停闪烁,散发著独属於硅基生物的冷酷。
碳基vs硅基。
这是一场註定要载入史册的对决。
达摩院在全平台开启了直播,超过一亿的吃瓜群眾已经涌入直播间。同时为了数学比赛的严谨性,今天的比赛有数位数学界大佬蒞临达摩院现场观摩。
同时他们也是决赛题目的命题人。
中科院资深院士田港、李建树、唐涛、孙炳勇……
其中最引人瞩目的,无疑是2018年菲尔兹奖得主,苏黎世联邦理工教授的理察·博切尔兹教授,以及第一次实质性推进解决“孪生素数猜想”的张益唐教授。
可谓群贤毕至。
“理察·博切尔兹教授,你看好哪边?”
本次比赛还吸引了《华夏社》的记者,她现场採访菲尔兹奖得主理察。
博切尔兹推了推眼镜,目光扫过人类天才和冰冷的伺服器集群:“如果是常规计算,和套路化的证明,ai必胜。”
记者疑惑:“难道人类毫无胜算?”
“那倒也不是,你太高看ai了。”
博切尔兹教授笑道,“ai,毕竟是人类创造出来的嘛。以数学为例,ai大模型的底层数学逻辑其实大多还是19世纪中叶以前的矩阵乘法、梯度下降、链式求导、傅立叶变换和內积概率。
它只是把这些古老的数学工具,堆砌到百亿、千亿的参数规模,从而產生了一种【ai会思考】的幻觉。
我认为,ai没有灵魂。
它本质上还是概率统计,是在模擬人类的思维。
如果是涉及到原创构造、反例设计或者一些前沿开放性的问题,我觉得人类天才的数学直觉,是战胜ai的法宝。
当然了,ai发展迅速,目前的一些智能涌现,比如scaling law、emergent abilities、double descent以及openai gpt-3之后出现的一个in-context learning,非常值得研究。”
记者点头:“我是否可以理解为ai的数学工具很老,但是却用出了新意?”
博切尔兹:“你总结得很对。
其实,自古希腊时代建立公里化集合体系,到中古阿拉伯以及华夏宋元时期的代数学和高次数值算法,再到16~17世纪的笛卡尔创立解析几何、牛顿-莱布尼茨创立微积分,19世纪数学学科裂变,数学分支成形,再到1900年之后,格罗滕迪克代数几何大革新,费马大定理的证明——
数学的发展经歷过五次爆发期。
我推测,数学的下一次爆发式发展,应该是ai引领。”
“哦?”
记者追问,“那博切尔兹教授,您觉得今天的人类和ai,谁会贏呢?”
博切尔兹神秘一笑:“我还是坚信,人类必胜。”