单位：未名研究所
纪明川倒吸一口凉气，他又逐个地确认了一遍，确认这个李东就是他以为的那个李东之後。
他的声音有些发抖。
“周姐，周姐……”
“怎麽了？
小纪，是论文很水吗？”
“这 16篇论文不是水论文的，是李东院士投的。”
“李东院士？”
周姐手里的订书机啪嗒一下掉在了桌上。
10分锺後，编辑主任任江抱着一堆刚打印出来的稿子，冲出了办公室。
……
京城，国际数学研究中心。
田钢正坐在办公室里看着电脑。
此时电脑上是未央大模型的操作界面。
上午，他刚给未央布置了一个任务，把上个月arxiv上一个年轻人提出的新猜想扔了进去。
这是一个关於素数集与某类稀疏自动序列的相交密度下界的命题。
预印本出来已经一个多月了，到现在为止，也没有人能够证明或者给出反例。
然而未央只跑了一个半小时，就给出了反例。
而且这个反例的构造与验证都特别的完整，甚至未央还附带着把原猜想成立的边界条件也写了出来。
田钢看着这个过程是一点毛病都挑不出来。
他摘下眼镜，长长的叹了口气。
这几年，这样的事情越来越多了。
去年雅可比猜想就被一个 ai生成的三维多项式反例给证伪了。
要知道，这可是已经有 80多年历史的老猜想了，没想到就这麽倒了下去。
做这个方向的人连反应的时间都没有。
现在大模型形式化证明的库越来越大，以前判定一个命题的真假是数学家的事。
而现在只要问题描述的足够清楚，未央做起来的速度比人要快得多，而且还不容易出错。
现在的期刊也已经开始收到主要推导由 ai完成的投稿。
这一波 ai对数学的冲击怎麽应对？
田钢一时也没有答案。
本章未完，请翻下一页继续阅读.........