困扰数学界30余年的世界级难题三维Ghys猜想近日宣告破解，完成这次证明的是中国团队与国产大模型的组合。据上海人工智能实验室消息，实验室访问学者、大湾区大学教授许地生团队基于书生科学多模态大模型S2，通过人机协同给出三维Ghys猜想的证明；北京大学董彬教授、刘若川院士团队则利用其开发的SHEAF框架对证明完成形式化验证。
三维Ghys猜想由法国数学家艾蒂安·吉斯于1995年提出，是复动力系统领域的重要问题之一，核心在于混沌的动力系统行为能否决定几何上的分类：若猜想成立，混乱的动力学轨迹问题就能被化归为简洁规整的标准代数模型。攻关过程中，S2针对猜想首轮推理即产出400页推导报告，团队从中筛出关键突破口并持续反馈校准，模型先后完成7批接续推演，问题图从15个节点扩展到389个，输出总量达千页。
许地生表示，破解猜想并不意味着它在一两个月内就能产生应用价值，更重要的意义是思考这一问题过程中发明的新方法和新工具，会对后续数学乃至科学研究提供帮助。上海人工智能实验室青年研究员赵海腾认为，AI是帮助人提升单位时间智力产出上限的工具，人是把控研究价值和进展方向的关键角色，二者协同会整体提高数学研究的进展速度。
AI进入研究级数学也引起争论。9月，OpenAI称其模型用88小时给出了纳维-斯托克斯方程存在性与光滑性问题的证明，10月6日又一次性公开722篇由内部前沿模型生成的数学手稿。9月11日，陶哲轩等25位菲尔兹奖得主联名发表声明，担忧企业把解决数学问题当作能力基准会损害数学科学及其共同体。10月11日，清华大学讲席教授丘成桐以“海啸”形容AI对数学研究的冲击，主张积极参与这场变革而非回避。
💬 评论