“最贤慧的大脑”要被AI替代了？数学家会休闲吗？人人数学界正悄然变革

近期，人人数学界正悄然献技一场变革，几大象征性事件激勉学界的抓续存眷和热议——

一是国产大模子DeepSeek-V3.2-Speciale在国外数学奥林匹克竞赛（IMO）、国外信息学奥林匹克竞赛（IOI）等顶级赛事中斩获金牌级得益；

二是菲尔兹奖得主陶哲轩借升级后的谷歌Gemini，十分钟补全全部困扰学界多年的埃尔德什（Erdős）问题评释，从论证分析买通了论断说明；

三是别传数学家小野健（Ken Ono）辞去弗吉尼亚大学终生教职，加入了由他的博士生洪乐潼创办的初创公司，专注创造“AI数学家”……

从在奥赛夺金，到协助数学家解题，再到自主攻克数学贫乏，学界热议的一个中枢议题是：AI大略会十分快地高出东说念主类数学家。

要是AI能孤苦考据猜思、破解贫乏，东说念主类数学家又将何去何从？

• 学界
• 数学家
• 休闲
• 悄然
• 人数