Shanghai AI Lab solves 3D Ghys conjecture using S2 model
10/15/2026 — 10/15, 12:08·1 sources (all)·1 reports (all)·In the 2026-10-15 briefing
Key takeaways
- Shanghai AI Lab announced that Xu Disheng's team, using the S2 multimodal model, collaboratively proved the 3D Ghys conjecture that had puzz…
Background & analysis
On October 15, 2026, Shanghai AI Lab announced that a team led by Xu Disheng, utilizing the multimodal large model S2 (Scholar-S2), successfully proved the three-dimensional Ghys conjecture through human-machine collaboration. The conjecture, proposed by French mathematician Étienne Ghys in 1995, had puzzled the mathematical community for over 30 years. The proof was formally verified using the SHEAF framework developed by Professor Dong Bin and Academician Liu Ruochuan from Peking University. The conjecture posits that every holomorphic Anosov system on a compact complex manifold is biholomorphically conjugate to a holomorphic affine automorphism on some complex infra-nilmanifold. The related paper has been published on arXiv, and the formalized code is publicly available on GitHub.
AI-generated from 1 reports · updated 56 minutes ago
Latest turnAccording to IT之家, Shanghai AI Laboratory announced that a team led by Xu Disheng used its Intern-S2 (书生-S2) multimodal science model to prove the 3D Ghys Conjecture, an open problem for over 30 years, via human-AI collaboration, with a PKU team formally verifying the proof using the SHEAF framework. The paper is on arXiv and the formalization code is on GitHub. If verified, this marks a notable milestone for LLM-assisted mathematical research.
- Heat index
- 95
- All sources
- 1
- All reports
- 1
- First seen
- 2 hours ago
Reports on this story headlines open the original
According to IT之家, Shanghai AI Laboratory announced that a team led by Xu Disheng used its Intern-S2 (书生-S2) multimodal science model to prove the 3D Ghys Conjecture, an open problem for over 30 years, via human-AI collaboration, with a PKU team formally verifying the proof using the SHEAF framework. The paper is on arXiv and the formalization code is on GitHub. If verified, this marks a notable milestone for LLM-assisted mathematical research.
IT之家AI score 63
Other stories people are talking about
- Heat index 735Google rolls out Gemini 4 Argon globally18 sources
- Heat index 360Meta launches Muse Wonder and Muse Wonder Full models11 sources
- Heat index 346Google Play Launches Personal AI App Execution Feature9 sources
- Heat index 346Anthropic Study Warns Small AI Models Could Spread Across Devices10 sources
- Heat index 333Character.AI Files for Chapter 11 Bankruptcy and Plans Asset Sale to Disney10 sources
How is heat calculated?About the methodHide
Heat counts how many independent sources covered a story in the last 48 hours: one source counts once no matter how many posts it published, decaying with a 24-hour half-life. What ranks first is what many people are talking about.
This page aggregates public feeds. Headlines and summaries are machine-organized and remain the property of the original authors; verify important facts at the source. If you believe a headline or summary infringes your rights, email the contact address in the footer with the page URL and basis of your claim, and we will remove or replace it after review.
- Surge
- Discussion rising fast
- New
- First report within 6 hours
- Rising
- Still gathering discussion