ScienceChinese researchers prove 3D Ghys conjecture with homegrown AI model
A team led by Xu Disheng worked with Shanghai AI Lab’s Intern-S2 model to produce a rigorous proof of the 3D Ghys conjecture. A Peking University team independently verified the core theorems and the proof’s logical completeness using formal machine verification. The paper is on an international preprint platform, and the verification code is open-source.
C
CGTN★★★☆☆2026-10-15 14:00Original
Chinese researchers prove 3D Ghys conjecture with homegrown AI model
Science