重磅！OpenAI之后，AI再破广义黎曼猜想
重磅！OpenAI之后，AI再破广义黎曼猜想不到十天，数学界经历了一场终极过山车！
来自主题: AI资讯
8907 点击 2026-10-19 12:27
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
不到十天，数学界经历了一场终极过山车！
谷歌的AI数学家，登上Science了！
大湾区大学许地生教授团队与上海AI实验室借助书生-S2科学基础模型证明Ghys猜想在复余维一情形下成立，北京大学董彬教授、刘若川院士团队随后完成形式化验证。
亏贼！OpenAI的纳维-斯托克斯方程连续剧，居然又又又反转了。。。
近期，AI 在数学研究领域的进展引发广泛关注。OpenAI 等机构接连公布 AI 解决数学问题的新成果，也让数学界开始重新思考：当 AI 能够参与甚至独立完成复杂数学证明，数学家的价值将如何体现？数学研究的范式、人才培养方式又将发生哪些变化？
AI数学圈最近是真热闹。
2026 年 9 月 11 日，一封联名声明震动了学术界。
这在这几天，数学家、极客和成群的AI智能体，展开了一场震撼的接力。
AI现在真是开启数学证明扫荡模式了。
「他们彻底摧毁了我的研究领域。」