来源:市场资讯
(来源:文汇报)
![]()
近期,全球数学界正悄然上演一场变革,几大标志性事件引发学界的持续关注和热议——
一是国产大模型DeepSeek-V3.2-Speciale在国际数学奥林匹克竞赛(IMO)、国际信息学奥林匹克竞赛(IOI)等顶级赛事中斩获金牌级成绩;
二是菲尔兹奖得主陶哲轩借升级后的谷歌Gemini,十分钟补全一道困扰学界多年的埃尔德什(Erdős)问题证明,从论证分析打通了结论确认;
三是传奇数学家小野健(Ken Ono)辞去弗吉尼亚大学终身教职,加入了由他的博士生洪乐潼创办的初创公司,专注创造“AI数学家”……
从在奥赛夺金,到协助数学家解题,再到自主攻克数学难题,学界热议的一个核心议题是:AI或许会相当快地超越人类数学家。
如果AI能独立验证猜想、破解难题,人类数学家又将何去何从?
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.