先了解这件事
AI 综述
2026年10月15日,上海人工智能实验室宣布,访问学者许地生团队依托“书生”S2大模型证明了三维吉斯猜想。据上观新闻2026年10月17日报道,北京大学董彬、刘若川团队完成形式化验证,报道称这是中国数学家首次用中国大模型攻克世界级数学难题。参与其中的数学家与AI专家认为,AI不会取代数学家,而是作为助手让数学家有更多精力思考更有价值的问题;张洁松表示,AI擅长解决问题并完成形式化验证,人擅长提出问题并把AI的答案转化为人的理解。目前该事件尚无进一步有证据支持的发展。
AI 根据公开报道生成
最新进展 · 正式报道
AI攻克世界级数学难题，数学家会失业吗？事件进展
1 个已确认进展
- 来源：上观新闻
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
10月17日
上观新闻
AI攻克世界级数学难题，数学家会失业吗？
上海人工智能实验室访问学者许地生团队依托“书生”S2大模型证明了三维吉斯猜想，北京大学董彬、刘若川团队完成形式化验证，这是中国数学家首次用中国大模型攻克世界级数学难题。参与其中的数学家与AI专家认为，AI不会取代数学家，而是作为助手让数学家有更多精力思考更有价值的问题。张洁松表示，AI擅长解决问题并完成形式化验证，人擅长提出问题并把AI的答案转化为人的理解。