中国研究人员用国产 AI 模型攻克 3D Ghys 猜想
大湾区大学教授徐迪生领衔的团队与上海人工智能实验室的 Intern-S2 科学大模型合作，宣布完整证明了三维 Ghys 猜想——这一由法国数学家 Étienne Ghys 于 1995 年提出、悬置三十多年的复杂动力系统难题；北京大学团队随后对全部核心定理做了形式化机器验证，生成数十万行验证代码。论文已发布于预印本平台，验证代码全部开源。若结论经得起检验，这将是国产大模型参与攻克重大数学猜想的标志性案例。
报道来源 · SOURCES
- Hacker News (AI)2026-10-18 20:19