第635章 你想不想当个院长啊？ (第3/3页)

从旁边路过，听到了，没忍住笑了笑。

    绕过湖的北岸再往前走一段就到了金春

    院门口有一棵老柿子树，叶子早就凋光了，但枝头上还挂着七八个冻得发红的柿子。

    那是冬天摘柿子的时候，特意留给过冬喜鹊的。

    李东进门的时候，正好有一只喜鹊落在了枝头，低头啄了一口。

    田刚的办公室在院子的最里面，李东敲了敲门，推门进去的时候，田刚正坐在桌子後面，皱着眉头看着手里的稿件。

    “田老师。”

    田刚见李东来了，连忙放下稿子，站了起来。

    “哎呀，李院士来了？”

    李东赶忙笑着摆了摆手。

    “田老师啊，你别这样叫，还是叫我名字吧，你这麽叫我是真听着不习惯。”

    田刚则是拒绝道。

    以前可以叫你名字，现在不行咯。

    他也没有解释，而是转身从柜子里拿出一个小铁罐，从里面取出一小撮茶叶，倒上了热水。

    “嚐嚐吧，金陵的雨花茶，我一个老同学寄过来的。”

    李东接过杯子喝了一口。

    入口很鲜，咽下去以後，嘴里还有一点淡淡的甜。

    “嗯，好茶。”

    随後他又看了一眼田刚桌上那一堆画满了问号的稿子。

    “田老师，刚才进门就看你愁眉苦脸的，出了啥事啊？”

    田刚苦笑道

    其实也没啥事，就现在 AI里边把数学界搅得天翻地覆的。

    关於这个事，李东其实也听说过一些。

    这大半年，几家大模型公司好像约好了一样，纷纷对数学界开始下手，那些数学界几十年都没解决的问题，他们一道一道的拿模型去试。

    以前那些一挂就是几十年没人动得了的问题，现在隔三差五就有一批被标上了已解决。

    甚至上个月，干脆就有公司把几百个大模型生成的证明，一口气全放在了网上，事先也没跟正在做这些题的人打一声招呼。

    那一夜过後，好些博士生和博士後手里做了一两年的课题，第二天醒来就全没了。

    有人说，这就像是往鱼塘里扔了一包炸药。

    鱼倒是全部浮了上来，可大鱼小鱼一锅端，连鱼塘里的鱼苗都跟着一起飘了上来。

    而且这些飘上来的鱼实在是太多了，根本就没人吃得下。

    毕竟一份证明，机器几个小时就能生成，形式化验证也能跑通。

    可这些题为什麽对？背後藏着什麽样的结构？能不能从里面得出新的方法来？这些问题却没有人去回答，也来不及回答。

    以前的数学家们发愁，证明实在太少了。而现在他们发愁的是，证明多得来，根本消化不了。

    而且这些题一道一道的被解决，就再也回不去了。

    那些本来能让年轻一代在上面摸爬滚打，摸出新工具的问题，就这麽一道一道的变成了网页上的已解决。

    李东听完田刚的抱怨，放下茶杯想了想说道。

    “田老师，其实这事儿躲不掉的。”

    “一个新的工具出现，总有一批人得先被这个工具毒打一下。”

    “想当年四色定理，就是被计算机一种情况一种情况硬跑出来的。”

    “那个时候其实就已经有人在说，以後证明都交给机器算了，数学家要失业了。”

    “可 50年过去了，数学系的人只多不少。”

    “机器智能把答案告诉你，可哪道题值得去问？为什麽要问？答案出来以後又意味着什麽？这些还得咱们人来想。”

    “我觉得大家现在就是太紧张了，至於以後的发展，让时间慢慢去验证吧。”

    田刚听完，没有反驳，也没有赞成，只是低头喝了一口茶。

    李东看着他问道。

    “田老师，所以今天你叫我来，就是为了这个事？”

    田刚赶紧摇了摇头说道。

    “不是，数学上面的事，我可不用找你了。AI炸一回鱼塘，好歹剩下几大鱼。”

    “你要是跑到鱼塘里扑腾几下，我怕这鱼塘真的见底了。”

    李东一听就不乐意了。

    “田老师，你怎麽能污蔑我呢？我明明就是一个老老实实、勤勤恳恳的数学家。”

    田刚白了他一眼。

    老老实实、勤勤恳恳？这几个字，哪一个能和你李东沾边啊？

    “行了，不跟你扯了。”

    田刚放下茶杯，就这麽看着李东。

    “我今天叫你来就是想问问你。”

    “你想不想当个院长啊？”

    

『加入书签，方便阅读』