师。”
田刚见李东来了，连忙放下稿子，站了起来。
“哎呀，李院士来了？”
李东赶忙笑着摆了摆手。
“田老师啊，你别这样叫，还是叫我名字吧，你这麽叫我是真听着不习惯。”
田刚则是拒绝道。
以前可以叫你名字，现在不行咯。
他也没有解释，而是转身从柜子里拿出一个小铁罐，从里面取出一小撮茶叶，倒上了热水。
“嚐嚐吧，金陵的雨花茶，我一个老同学寄过来的。”
李东接过杯子喝了一口。
入口很鲜，咽下去以後，嘴里还有一点淡淡的甜。
“嗯，好茶。”
随後他又看了一眼田刚桌上那一堆画满了问号的稿子。
“田老师，刚才进门就看你愁眉苦脸的，出了啥事啊？”
田刚苦笑道
其实也没啥事，就现在 AI里边把数学界搅得天翻地覆的。
关於这个事，李东其实也听说过一些。
这大半年，几家大模型公司好像约好了一样，纷纷对数学界开始下手，那些数学界几十年都没解决的问题，他们一道一道的拿模型去试。
以前那些一挂就是几十年没人动得了的问题，现在隔三差五就有一批被标上了已解决。
甚至上个月，干脆就有公司把几百个大模型生成的证明，一口气全放在了网上，事先也没跟正在做这些题的人打一声招呼。
那一夜过後，好些博士生和博士後手里做了一两年的课题，第二天醒来就全没了。
有人说，这就像是往鱼塘里扔了一包炸药。
鱼倒是全部浮了上来，可大鱼小鱼一锅端，连鱼塘里的鱼苗都跟着一起飘了上来。
而且这些飘上来的鱼实在是太多了，根本就没人吃得下。
毕竟一份证明，机器几个小时就能生成，形式化验证也能跑通。
可这些题为什麽对？背後藏着什麽样的结构？能不能从里面得出新的方法来？这些问题却没有人去回答，也来不及回答。
以前的数学家们发愁，证明实在太少了。而现在他们发愁的是，证明多得来，根本消化不了。
而且这些题一道一道的被解决，就再也回不去了。
那些本来能让年轻一代在上面摸爬滚打，摸出新工具的问题，就这麽一道一道的变成了网页上的已解决。
李东听完田刚
…。。