近期,全球数学界正悄然上演一场变革,几大标志性事件引发学界的持续关注和热议——
一是国产大模型DeepSeek-V3.2-Speciale在国际数学奥林匹克竞赛(IMO)、国际信息学奥林匹克竞赛(IOI)等顶级赛事中斩获金牌级成绩;
二是菲尔兹奖得主陶哲轩借升级后的谷歌Gemini,十分钟补全一道困扰学界多年的埃尔德什(Erdős)问题证明,从论证分析打通了结论确认;
三是传奇数学家小野健(Ken Ono)辞去弗吉尼亚大学终身教职,加入了由他的博士生洪乐潼创办的初创公司,专注创造“AI数学家”……
从在奥赛夺金,到协助数学家解题,再到自主攻克数学难题,学界热议的一个核心议题是:AI或许会相当快地超越人类数学家。
如果AI能独立验证猜想、破解难题,人类数学家又将何去何从?
原标题:“最聪明的大脑”要被AI替代了?数学家会失业吗?全球数学界正悄然变革