北京
分享至
来源：市场资讯
（来源：文汇报）
近期，全球数学界正悄然上演一场变革，几大标志性事件引发学界的持续关注和热议——
一是国产大模型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.
