Shanghai AI Lab’s Shusheng‑S2 aids reported proof of three‑dimensional Ghys conjecture
Mathematicians in China have reported a computer‑checked proof of the three‑dimensional case of the Ghys conjecture, a problem first posed in 1995. The effort combined expert judgement with Shanghai Artificial Intelligence Laboratory’s Shusheng‑S2 model. Over seven rounds of reasoning the model explored multiple routes, generated detailed arguments, and helped the team identify promising ideas…
Key points
- Shusheng‑S2 model participated in seven reasoning rounds to aid the three‑dimensional Ghys conjecture proof
- Proof was formally verified with Lean and confirmed by independent experts; code released on arXiv
- Research led by Prof. Xu Disheng (Great Bay University) with Peking University translating theorems
The work was led by Great Bay University professor Xu Disheng. A separate team at Peking University translated the paper’s four main theorems into a form that Lean, a formal verification system, could check step by step. The Lean checks passed, and independent experts confirmed that the formal statements matched the published paper. The preprint and verification code have been posted on arXiv, allowing others to examine the proof.
The collaboration illustrates how human‑AI teams can tackle long‑standing mathematical puzzles, offering a template for future formal‑verification projects that blend domain expertise with advanced reasoning models.
Shanghai AI Lab’s Shusheng-S2 helps develop a proof for a decades-old problem in chaos theory
goodnewsdigest.app · 17 October 2026
Loading the full article…
This text was published by goodnewsdigest.app and written by Good News Digest. It is reproduced here with attribution so you can read it in full; the rights remain with the publisher. Read it at the source ↗
Coverage and discussion
1source- Reddit discussionreddit.com
The headline, key points and digest above were generated by Digest AI's editorial model from the linked sources. Automated summaries can contain errors: the sources are the record. Spotted a mistake? Tell us. Published by Martin K., who runs Digest AI and handles corrections.
More in Research
All →- Anthropic’s Claude Mythos 5 redesigns quantum circuits better than prior research · 2 src
- Danaher and NVIDIA partner to integrate AI into scientific instruments · 3 src
- LitGene transformer integrates text and ontology to improve gene representations · 1 src
- Anthropic says Claude traced NIST ECDSA curve seeds to 1990s C library RNG · 2 src
- Google Research builds AI agents for autonomous wet-lab experiments · 1 src
Comments
via GitHub Discussions