Chinese researchers solve 3D Ghys conjecture with homegrown AI model (news.cgtn.com)

A Chinese research team has made a groundbreaking advancement by fully proving the 3D Ghys conjecture, a longstanding mathematical enigma that has challenged experts for over 30 years. Led by Professor Xu Disheng from Greater Bay University in collaboration with the Shanghai AI Laboratory, this achievement marks a significant milestone as it is the first instance of a domestically developed AI model—Intern-S2—being used to tackle such a high-level problem. The AI facilitated complex mathematical derivations, while the researchers guided the process and identified promising approaches, leading to the creation of a complete and rigorous proof. The implications of this accomplishment resonate widely within the AI/ML community, as it underscores the potential of AI to assist in solving intricate mathematical problems that require advanced reasoning. The independent verification conducted by a team from Peking University utilized a self-developed framework and massive parallel computing to ensure the completeness and validity of the proof, generating hundreds of thousands of lines of verification code. This milestone not only establishes a new benchmark in complex dynamics but also raises the prospect of further explorations into unresolved mathematical challenges, with the paper now available on an international preprint platform and the verification code fully open-sourced for the community.