Matematiklar AI yordamida Ghys gipotezasini isbotladi
Matematiklar Shanxay AI laboratoriyasining Intern-S2 modelidan foydalanib, Etienne Ghysning 1995-yilgi gipotezasining 3D holatini isbotladilar. Pekin universiteti jamoasi bu isbotni Lean dasturida rasmiylashtirdi.