OpenAI prova a conjectura de Cannon: IA resolve problema de quase 40 anos da teoria geométrica de grupos, com verificação mecânica em Lean
Entre os manuscritos de matemática divulgados pela OpenAI em 6 de outubro, um artigo de 31 páginas afirma provar por completo a conjectura de Cannon, acompanhado de verificação formal em Lean.