Chinese researchers solve 30-year-old math conjecture using domestic AI model

On October 15, 2026, the Shanghai Artificial Intelligence Laboratory announced that a long-standing mathematical conjecture, the 3D Ghys Conjecture, has been solved by a team led by Xu Dishi from the Greater Bay Area University. The breakthrough was achieved using the Shusheng-S2 multimodal large model, which employs a 'general-special fusion' approach to enable human-machine collaboration in proving the conjecture. The work was formally verified by Professor Dong Bin and Academician Liu Ruocuan from Peking University using their SHEAF framework. The Ghys Conjecture, proposed in 1995 by Étienne Ghys, has been a major open problem in dynamical systems, often considered a benchmark for mathematical reasoning. The research, published on arXiv, includes formal code on GitHub. The study marks the first time a Chinese AI model has been used to solve a major mathematical problem. The team plans to expand the methodology to other fields, creating a self-evolving cycle of innovation. The research also highlights a new scientific paradigm, integrating expert intuition into machine-solving loops. This approach, which combines systematic exploration with expert judgment, could be applied to other areas with vast search spaces and limited expert resources. The Shanghai AI Lab aims to develop a reusable mathematical verification module for the Shusheng · Duanyan scientific discovery platform, enabling future research to leverage this breakthrough.