AI Model Proves Century-Old Math Conjecture

Shanghai AI Laboratory's Intern-S2 model assisted mathematicians in proving the 3D Ghys conjecture, a 1995 problem in complex dynamics. A Peking University team verified results using the Lean theorem prover. The paper, Codimension-one holomorphic Anosov diffeomorphisms, was posted to arXiv on September 29 and revised on October 13, listing author Jiesong Zhang of KTH Royal Institute of Technology.