Researchers Report Proof of Three-Dimensional Ghys Conjecture With Shanghai AI Laboratory’s Shusheng-S2

1 reports 1 reporting sources 2 days agoNew

Understand the event

AI overview

Xu Disheng’s team reported proving the three-dimensional Ghys conjecture through human–AI collaboration using Shanghai AI Laboratory’s Shusheng-S2 model, with a preprint posted on arXiv. Researchers guided seven rounds of recursive exploration, expanding the graph of problems under investigation from 15 to 389 nodes. A Peking University team used its SHEAF framework to formalize all four main theorems. That work produced approximately 550,000 lines of Lean code in about five days, and the formalizations passed Lean’s checks.

Generated by AI from reports · Updated 2 days ago

Latest development10/15 15:14 (UTC+8)

Shanghai AI Laboratory’s Shusheng-S2 Helps Prove the Three-Dimensional Ghys Conjecture 雷锋网

Report timeline

Follow the reports to explore different sides of the event.

10/15

15:14
雷锋网Picks
Shanghai AI Laboratory’s Shusheng-S2 Helps Prove the Three-Dimensional Ghys Conjecture
Xu Disheng’s team used Shanghai AI Laboratory’s Shusheng-S2 model in a human–AI collaboration to prove the three-dimensional Ghys conjecture, with a preprint posted on arXiv. Researchers guided seven rounds of recursive exploration as the problem graph expanded from 15 to 389 nodes. A Peking University team used its SHEAF framework to formalize all four main theorems, producing approximately 550,000 lines of Lean code in about five days and passing Lean checks.

Event heat trend

可比范围当前: 3
Peak within comparable coverage: 910/15 18:00 (UTC+8)
近 24 小时变化: -51%

Trends compare the same continuously observed participants, which may cover fewer sources than current heat. Point or click to inspect hourly heat, or use left and right arrow keys.

Keep reading

Latest daily · Issue 24NVIDIA and AI4Bharat Introduce Nemotron-pretraining-Indic-v1 and an Open Data Generation Pipeline