《我的学习群里全是真大佬》
第635章 你想不想当个院长啊？以前那些一挂就是几十年没人动得了的问题，现在隔三差五就有一批被标上了已解决。
甚至上个月，干脆就有公司把几百个大模型生成的证明，一口气全放在了网上，事先也没跟正在做这些题的人打一声招呼。
那一夜过後，好些博士生和博士後手里做了一两年的课题，第二天醒来就全没了。
有人说，这就像是往鱼塘里扔了一包炸药。
鱼倒是全部浮了上来，可大鱼小鱼一锅端，连鱼塘里的鱼苗都跟着一起飘了上来。
而且这些飘上来的鱼实在是太多了，根本就没人吃得下。
毕竟一份证明，机器几个小时就能生成，形式化验证也能跑通。
可这些题为什麽对？背後藏着什麽样的结构？能不能从里面得出新的方法来？这些问题却没有人去回答，也来不及回答。
以前的数学家们发愁，证明实在太少了。而现在他们发愁的是，证明多得来，根本消化不了。
而且这些题一道一道的被解决，就再也回不去了。
那些本来能让年轻一代在上面摸爬滚打，摸出新工具的问题，就这麽一道一道的变成了网页上的已解决。
李东听完田刚的抱怨，放下茶杯想了想说道。
“田老师，其实这事儿躲不掉的。”
“一个新的工具出现，总有一批人得先被这个工具毒打一下。”
“想当年四色定理，就是被计算机一种情况一种情况硬跑出来的。”
“那个时候其实就已经有人在说，以後证明都交给机器算了，数学家要失业了。”
“可 50年过去了，数学系的人只多不少。”
“机器智能把答案告诉你，可哪道题值得去问？为什麽要问？答案出来以後又意味着什麽？这些还得咱们人来想。”
“我觉得大家现在就是太紧张了，至於以後的发展，让时间慢慢去验证吧。”
田刚听完，没有反驳，也没有赞成，只是低头喝了一口茶。
李东看着他问道。
“田老师，所以今天你叫我来，就是为了这个事？”
田刚赶紧摇了摇头说道。
“不是，数学上面的事，我可不用找你了。AI炸一回鱼塘，好歹剩下几大鱼。”
“你要是跑到鱼塘里扑腾几下，我怕这鱼塘真的见底了。”
李东一听就不乐意了。
“田老师，你怎麽能污蔑我呢？我明明就是一个老老实实、勤勤恳恳的数学家。”
田刚白了他一眼。
老老实实、勤勤恳恳？这几个字，哪一个能和你李东沾边啊？
“行了，不跟你扯了。”
田刚放下茶杯，就这麽看着李东。
“我今天叫你来就是想问问你。”
“你想不想当个院长啊？”
UC小说网_m.shukugu.com