首次国产大模型攻克世界级数学难题！北上广三地联手
首次国产大模型攻克世界级数学难题！北上广三地联手大湾区大学许地生教授团队与上海AI实验室借助书生-S2科学基础模型证明Ghys猜想在复余维一情形下成立，北京大学董彬教授、刘若川院士团队随后完成形式化验证。
来自主题: AI资讯
8929 点击 2026-10-19 12:14
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
大湾区大学许地生教授团队与上海AI实验室借助书生-S2科学基础模型证明Ghys猜想在复余维一情形下成立，北京大学董彬教授、刘若川院士团队随后完成形式化验证。
亏贼！OpenAI的纳维-斯托克斯方程连续剧，居然又又又反转了。。。
近期，AI 在数学研究领域的进展引发广泛关注。OpenAI 等机构接连公布 AI 解决数学问题的新成果，也让数学界开始重新思考：当 AI 能够参与甚至独立完成复杂数学证明，数学家的价值将如何体现？数学研究的范式、人才培养方式又将发生哪些变化？
AI数学圈最近是真热闹。
2026 年 9 月 11 日，一封联名声明震动了学术界。
这在这几天，数学家、极客和成群的AI智能体，展开了一场震撼的接力。
AI现在真是开启数学证明扫荡模式了。
「他们彻底摧毁了我的研究领域。」
最近，全世界的数学圈都被AI核爆了。
就在今天，陶哲轩公开了其在加州理工学院举行的最新演讲《Math 2.0》（数学 2.0）。