On October 15, Shanghai Artificial Inlelligence Laboratory, Great Bay University and Beijing International Center for Mathematical Research jointly announced a major breakthrough. For the first time, Chinese scientists employed a homegrown large model to solve a longstanding global math problem — the three-dimensional Ghys conjecture, which has stumped mathematicians worldwide for over 30 years.

The three-dimensional Ghys conjecture was proposed by French mathematician Étienne Ghys in 1995, and is used to test mathematical reasoning by experts. Professor Xu Disheng's team has long worked in this field. They previously achieved milestone results for the 3D case of the conjecture, which were published in the leading mathematics journal Journal of the European Mathematical Society.

This major breakthrough originated from the impressive performance of the Intern Large Models at the 2025 Chinese Mathematical Olympiad Final. That competition was the first to feature AI competing alongside human participants. The Intern Large Models S1 scored 102 points, well above the gold medal threshold. Its creative, rigorous problem-solving won praise from experts. Professor Xu Disheng from Great Bay University said that was when his team spotted the model's potential for mathematical research.

The paper has been released on an international preprint platform (arXiv), and the verification code has been fully open-sourced at GitHub.

Paper:Codimension-one holomorphic Anosov diffeomorphisms

Verification code: https://github.com/frenzymath/HolomorphicAnosov