王的猜想,被 AI 一夜通关
王的猜想,被 AI 一夜通关困扰人类几十年的世界级难题,AI 只用几天就交卷了。
来自主题: AI资讯
11288 点击 2026-10-27 14:51
搜索
困扰人类几十年的世界级难题,AI 只用几天就交卷了。
困扰数学界30余年的世界级难题——三维Ghys猜想迎来了破解!
说真的,人类科学史今夜彻底改写了!
数学界的天,彻底塌了!
不到十天,数学界经历了一场终极过山车!
谷歌的AI数学家,登上Science了!
大湾区大学许地生教授团队与上海AI实验室借助书生-S2科学基础模型证明Ghys猜想在复余维一情形下成立,北京大学董彬教授、刘若川院士团队随后完成形式化验证。
亏贼!OpenAI的纳维-斯托克斯方程连续剧,居然又又又反转了。。。
近期,AI 在数学研究领域的进展引发广泛关注。OpenAI 等机构接连公布 AI 解决数学问题的新成果,也让数学界开始重新思考:当 AI 能够参与甚至独立完成复杂数学证明,数学家的价值将如何体现?数学研究的范式、人才培养方式又将发生哪些变化?
AI数学圈最近是真热闹。