第635章 你想不想当个院长啊？ (第2/2页)
“喂，田老师？”
电话那头，田刚有些无奈地说道。
“李东院士啊。”
“我本来是想到你们未名研究所去找你说点事来着。”
“可申请都打了半个月了到现在还没批下来。”
自从常羲立了项，李东一口气接下了三个任务以後，未名研究所的保密等级又往上提了一级。
所以现在外人想进研究所，门槛特别的高。
就连田刚这样的院士，想来也不一定是能来的了。
李东笑着说道。
“田老师，您找我有事，我过去就是了，哪有老师跑来见学生的道理？”
“那就麻烦您了。”
李东听到田刚这麽客气，愣了一下，随後笑道。
“哎，田老师，你怎麽这麽客气，我都不习惯了。”
“因为我要求你办事啊。”
李东：……
……
燕大，东门。
李东让老吴把车停在了校门口，自己下了车，顺着湖边往镜春园那边走。
老张隔了三四步，不远不近地跟在他的後面。
寒假的燕园比平时清醒了不少。
不过惠民湖上却热闹非凡。
此时湖面早已冻成了冰面。
湖面上有不少人，有穿着冰刀的学生在冰面上，也有坐在冰车上的小孩，被爸爸推着满上跑。
吵闹声隔着老远都能听见。
湖面的边上，一个七八岁的小姑娘正扶着围栏，一步一步地往前挪着。她的爸爸跟在後面，两只手虚张着，但又没有真的扶上她。
石板路上干干净净的，一点雪都没有，路缝里还冒着一丝丝的白气。
一个穿着橙色马甲的保洁大爷正蹲在长椅旁边，往一个小碟子里倒着猫粮，三四只胖橘围着他直打转。
大爷一边倒着猫粮，一边嘟囔着。
“吃吧吃吧往年这个时候，我天不亮就得来扫雪撒盐，哪有功夫管你们？”
“现在倒好，电便宜了，学校也在路底下埋了电线，雪落下来就化了，我倒成了专门喂猫的了。”
一只橘猫吃了两口猫粮，又抬头冲着大爷喵了一声。
“催啥催呀？又没人跟你抢，你看你都胖成球了。”
李东从旁边路过，听到了，没忍住笑了笑。
绕过湖的北岸再往前走一段就到了金春
院门口有一棵老柿子树，叶子早就凋光了，但枝头上还挂着七八个冻得发红的柿子。
那是冬天摘柿子的时候，特意留给过冬喜鹊的。
李东进门的时候，正好有一只喜鹊落在了枝头，低头啄了一口。
田刚的办公室在院子的最里面，李东敲了敲门，推门进去的时候，田刚正坐在桌子後面，皱着眉头看着手里的稿件。
“田老师。”
田刚见李东来了，连忙放下稿子，站了起来。
“哎呀，李院士来了？”
李东赶忙笑着摆了摆手。
“田老师啊，你别这样叫，还是叫我名字吧，你这麽叫我是真听着不习惯。”
田刚则是拒绝道。
以前可以叫你名字，现在不行咯。
他也没有解释，而是转身从柜子里拿出一个小铁罐，从里面取出一小撮茶叶，倒上了热水。
“嚐嚐吧，金陵的雨花茶，我一个老同学寄过来的。”
李东接过杯子喝了一口。
入口很鲜，咽下去以後，嘴里还有一点淡淡的甜。
“嗯，好茶。”
随後他又看了一眼田刚桌上那一堆画满了问号的稿子。
“田老师，刚才进门就看你愁眉苦脸的，出了啥事啊？”
田刚苦笑道
其实也没啥事，就现在 AI里边把数学界搅得天翻地覆的。
关於这个事，李东其实也听说过一些。
这大半年，几家大模型公司好像约好了一样，纷纷对数学界开始下手，那些数学界几十年都没解决的问题，他们一道一道的拿模型去试。
以前那些一挂就是几十年没人动得了的问题，现在隔三差五就有一批被标上了已解决。
甚至上个月，干脆就有公司把几百个大模型生成的证明，一口气全放在了网上，事先也没跟正在做这些题的人打一声招呼。
那一夜过後，好些博士生和博士後手里做了一两年的课题，第二天醒来就全没了。
有人说，这就像是往鱼塘里扔了一包炸药。
鱼倒是全部浮了上来，可大鱼小鱼一锅端，连鱼塘里的鱼苗都跟着一起飘了上来。
而且这些飘上来的鱼实在是太多了，根本就没人吃得下。
毕竟一份证明，机器几个小时就能生成，形式化验证也能跑通。
可这些题为什麽对？背後藏着什麽样的结构？能不能从里面得出新的方法来？这些问题却没有人去回答，也来不及回答。
以前的数学家们发愁，证明实在太少了。而现在他们发愁的是，证明多得来，根本消化不了。
而且这些题一道一道的被解决，就再也回不去了。
那些本来能让年轻一代在上面摸爬滚打，摸出新工具的问题，就这麽一道一道的变成了网页上的已解决。
李东听完田刚的抱怨，放下茶杯想了想说道。
“田老师，其实这事儿躲不掉的。”
“一个新的工具出现，总有一批人得先被这个工具毒打一下。”
“想当年四色定理，就是被计算机一种情况一种情况硬跑出来的。”
“那个时候其实就已经有人在说，以後证明都交给机器算了，数学家要失业了。”
“可 50年过去了，数学系的人只多不少。”
“机器智能把答案告诉你，可哪道题值得去问？为什麽要问？答案出来以後又意味着什麽？这些还得咱们人来想。”
“我觉得大家现在就是太紧张了，至於以後的发展，让时间慢慢去验证吧。”
田刚听完，没有反驳，也没有赞成，只是低头喝了一口茶。
李东看着他问道。
“田老师，所以今天你叫我来，就是为了这个事？”
田刚赶紧摇了摇头说道。
“不是，数学上面的事，我可不用找你了。AI炸一回鱼塘，好歹剩下几大鱼。”
“你要是跑到鱼塘里扑腾几下，我怕这鱼塘真的见底了。”
李东一听就不乐意了。
“田老师，你怎麽能污蔑我呢？我明明就是一个老老实实、勤勤恳恳的数学家。”
田刚白了他一眼。
老老实实、勤勤恳恳？这几个字，哪一个能和你李东沾边啊？
“行了，不跟你扯了。”
田刚放下茶杯，就这麽看着李东。
“我今天叫你来就是想问问你。”
“你想不想当个院长啊？”