![]()
近期,全球數(shù)學(xué)界正悄然上演一場變革,幾大標(biāo)志性事件引發(fā)學(xué)界的持續(xù)關(guān)注和熱議——
一是國產(chǎn)大模型DeepSeek-V3.2-Speciale在國際數(shù)學(xué)奧林匹克競賽(IMO)、國際信息學(xué)奧林匹克競賽(IOI)等頂級賽事中斬獲金牌級成績;
二是菲爾茲獎得主陶哲軒借升級后的谷歌Gemini,十分鐘補全一道困擾學(xué)界多年的埃爾德什(Erd?s)問題證明,從論證分析打通了結(jié)論確認(rèn);
三是傳奇數(shù)學(xué)家小野健(Ken Ono)辭去弗吉尼亞大學(xué)終身教職,加入了由他的博士生洪樂潼創(chuàng)辦的初創(chuàng)公司,專注創(chuàng)造“AI數(shù)學(xué)家”……
從在奧賽奪金,到協(xié)助數(shù)學(xué)家解題,再到自主攻克數(shù)學(xué)難題,學(xué)界熱議的一個核心議題是:AI或許會相當(dāng)快地超越人類數(shù)學(xué)家。
如果AI能獨立驗證猜想、破解難題,人類數(shù)學(xué)家又將何去何從?





京公網(wǎng)安備 11011402013531號