On October 15, the Shanghai Artificial Intelligence Laboratory made a groundbreaking announcement: the three-dimensional Ghys conjecture, a mathematical enigma that had baffled the global math community for more than three decades, had finally been solved. The team, spearheaded by Xu Disheng, harnessed the power of the InternLM-Sci scientific multimodal large model S2 to achieve this feat through a collaborative effort between humans and machines. The proof's validity was subsequently confirmed by a team of experts from Peking University.
