Shanghai AI Lab's Shusheng-S2 helps prove a three-dimensional Ghys conjecture result
AIShanghai AI Laboratory and Professor Xu Disheng's team say the Shusheng-S2 scientific multimodal model, working with human researchers, produced a proof of the three-dimensional Ghys conjecture.
Why it matters: The article details how humans and the Shusheng-S2 model worked iteratively on a three-dimensional Ghys conjecture result, and how Peking University verified it in Lean.







