Shanghai AI Lab Solves 3D Ghys Conjecture Using S2 Model with Formal Verification

1 reports archived1 independent sourcesupdated 10/15/2026, 11:23:31

Synthesis & Latest Updates

1 Sources Cross-Validated

A team from Shanghai AI Lab solved the 30-year-old 3D Ghys conjecture using the S2 multimodal scientific model via a human-AI collaborative approach. The proof was formally verified by Peking University's SHEAF framework, confirming its correctness. This breakthrough validates a new research paradigm integrating expert intuition into machine reasoning loops, with papers and code now publicly available.

LATEST/A team from Shanghai AI Lab solved the 30-year-old 3D Ghys conjecture using the S2 multimodal scientific model via a human-AI collaborative approach. The proof was formally verified by Peking University's SHEAF framework, confirming its correctness. This breakthrough validates a new research paradigm integrating expert intuition into machine reasoning loops, with papers and code now publicly available.

HEAT TRENDHourly heat curve

3 fully observed hours

Now

11.1

Peak

11.812:00

24h change

–

The line compares only sources observed throughout; gap hours are interpolated to keep the trend continuous.

TIMELINECoverage timeline

Total 1 reports · Latest first

IT之家 · 智能时代T2·Oct 15, 11:2386 pts
Shanghai AI Lab Solves 3D Ghys Conjecture Using S2 Model with Formal Verification
- S2 LLM combined with expert intuition successfully cracked the long-standing 3D Ghys conjecture.
- Peking University team used the SHEAF framework for formal verification, ensuring logical rigor and correctness.
- Validated a closed-loop research paradigm of 'exploration-judgment-accumulation-feedback', extendable to other basic sciences.
View Evidence Original Source