Pandaily · Ásia
Matemáticos usam Intern-S2, do Shanghai AI Lab, para provar conjectura 3D de Ghys, verificada no Lean
Publicado pela fonte em 15/10/2026, 04:40
A prova do caso de codimensão um de uma conjectura de Etienne Ghys, de 1995, foi desenvolvida em várias rodadas de diálogo com o Intern-S2 e formalizada no Lean por uma equipe da Universidade de Pequim.