“最聰明的大腦”要被AI替代了？數學家會失業嗎？全球數學界正悄然變革
來源：
更新：
近期，全球數學界正悄然上演一場變革，幾大標誌性事件引發學界的持續關注和熱議——
一是國產大模型DeepSeek-V3.2-Speciale在國際數學奧林匹克競賽（IMO）、國際信息學奧林匹克競賽（IOI）等頂級賽事中斬獲金牌級成績；
二是菲爾茲獎得主陶哲軒借升級後的谷歌Gemini，十分鐘補全一道困擾學界多年的埃爾德什（Erdős）問題證明，從論證分析打通了結論確認；
三是傳奇數學家小野健（Ken Ono）辭去弗吉尼亞大學終身教職，加入了由他的博士生洪樂潼創辦的初創公司，專注創造“AI數學家”……
從在奧賽奪金，到協助數學家解題，再到自主攻克數學難題，學界熱議的一個核心議題是：AI或許會相當快地超越人類數學家。
如果AI能獨立驗證猜想、破解難題，人類數學家又將何去何從？
相關推薦
