A Chinese Model Proved a 30-Year-Old Maths Conjecture. GPT-6 Could Not
A team led by Xu Disheng, a visiting scholar at Shanghai AI Lab and professor at Greater Bay Area University, has completed a proof of the three-dimensional Ghys conjecture, working with the lab’s Shusheng-S2 scientific multimodal model. The result has been formally verified by a Peking University team, and the paper is on arXiv with … Read more