Shanghai AI Lab Intern-S2 solves 3D Ghys conjecture with human-AI collaboration

Xu Disheng's team used Shanghai AI Lab's open science model Intern-S2 in a human-in-the-loop loop to prove the 3D Ghys conjecture, open for 30 years; Peking University formally verified the proof with its SHEAF framework.

Why it matters

What you could build with it

Does it hold up?

Too early to judge: this is a research milestone, not a shipped product; evidence is one team's human-in-the-loop run, and the underlying open Intern-S2 model itself was released Sept 13. No verified GitHub repo for the formal-verification code was found, so none is listed.

Built with Shanghai AI Lab Intern-S2 solves 3D Ghys…

• Chinese researchers solve 3D Ghys conjecture with homegrown AI modelCGTN · English-language coverage: 7-batch recursive derivation, 400-page first-round report, and PKU's formal verification of all core theorems.
• 上海人工智能实验室书生科学多模态大模型助力中国数学家攻克世界级数学难题澎湃新闻 · Report on the breakthrough, the CMO gold-medal backstory of 书生-S1, and the planned encapsulation into the 书生·端砚 scientific-discovery platform.

Learn more

technical deep dive →

First spotted on article: source.

More AI models