
四、AI时代的数学:机器能算,人要想
"现在总有人说AI能解数学猜想。"袁新意摆摆手,"他们看到的可能只是AI算对了几道题,但真正的数学创新,AI替不了。"他举了个例子:BSD猜想里的沙群有限性问题,"连AI都不知道'沙群'是什么,它只知道模仿人类已有的数据"。
但他也承认,AI确实改变了数学研究的"效率"。"我以前推导一个公式要三天,现在用AI软件检查步骤,能节省一半时间。"但他强调,数学的灵魂在于"突然的灵光一闪","就像牛顿看见苹果落地,AI永远不会自己'看见'那个苹果"。
五、从"搞不过数学"到培养数学的下一代
如今,袁新意办公室的白板上总贴着学生的草稿纸。有个博士生卡了半年,最后在他的提示下,突然写出一个关键等式。"那天晚上,我收到学生的微信,只有一句话:'老师,我好像摸到边了'。"他笑了,"那一刻,比自己拿奖还高兴。"
他说,自己最想攻克的三个猜想里,BSD猜想最难。"但我不急,数学这行,没人知道下一个突破在哪。"就像当年在燕园楼梯间哭的少年,现在的他,看着学生们眼里的光,突然明白:所谓"黄金一代",不过是一群在数学长征路上相互搀扶的同行者。
至于未来?袁新意低头看了看窗外:"等银杏叶全落了,再想想下一步。"










