IT之家 news, October 15 — The Shanghai Artificial Intelligence Laboratory announced today that the world-class problem that had puzzled the mathematical community for over 30 years — the three-dimensional Ghys conjecturehas been cracked.
A team led by Xu Disheng, a visiting scholar at the Shanghai Artificial Intelligence Laboratory and professor at the Greater Bay Area University, relying on the InternLM scientific multimodal large model S2 (Intern-S2) and based on the “general-specialized integration” technical path,completed the proof of the three-dimensional Ghys conjecture through human-machine collaboration。
A team of Professor Dong Bin and Academician Liu Ruochuan of Peking University used the SHEAF framework they developed to perform formal verification of the proof, confirming the correctness of this work.This marks the first time that Chinese scientists have used a Chinese large model to solve a world-class mathematical problem。
The Ghys conjecture was proposed by French mathematician Étienne Ghys in 1995, conjecturing that every holomorphic Anosov system on a compact complex manifold is biholomorphically conjugate to a holomorphic affine automorphism on some complex infra-nilmanifold. The problem combines theoretical difficulty with landmark disciplinary value, and is recognized by mathematical experts in the field of dynamical systems as one of the important long-standing open problems in the field, serving as a touchstone for testing mathematical reasoning ability.
The related paper has been published on the preprint platform (arXiv), and its formalized code has also been made public on the Github platform. IT之家 provides the link below:
https://github.com/frenzymath/HolomorphicAnosov
The Shanghai Artificial Intelligence Laboratory stated that the significance of this research also lies in validating a new scientific research paradigm. Traditional mathematical research relies on the long exploration of individual geniuses, whereas this effort systematically integrated expert intuition into the machine-solving loop, forming a closed loop of “systematic exploration — expert judgment — accumulation of results — feedback correction.”This paradigm can be replicated and extended to more fundamental research areas with “huge search spaces and scarce experts,” achieving more “from 0 to 1” original innovation breakthroughs。
Next, relying on the complete capability closed loop validated by this research, the team will further package it as a reusable mathematical verification module of the Intern · Duanyan scientific discovery platform, to be directly invoked for subsequent scientific problem research. At the same time, taking the breakthrough on the three-dimensional Ghys conjecture as a starting point,the Shanghai Artificial Intelligence Laboratory will extend its accumulated reasoning capabilities to other disciplines with homologous mathematical structures; after achieving new breakthroughs, the new reasoning capabilities will be packaged back into the Duanyan platform for reuse, combined with more disciplines to seek the next round of breakthroughs, forming a self-evolving flywheel of “breakthrough — packaging — reuse — breakthrough again.”
Advertising disclaimer: This article contains external links (including but not limited to hyperlinks, QR codes, passcodes, etc.), used to convey more information and save selection time; the results are for reference only. All IT之家 articles containing external links include this disclaimer.