Chinese AI Proves Ghys's Conjecture: 30-Year Mathematical Problem Solved by Locally Developed Neural Network
Chinese researchers, using their proprietary Intern-S2 model, proved Ghys's conjecture for the 3D case—a problem unsolved for over 30 years. Formalization was conducted by Peking University scientists.
Read more →