Investigação
Axiom afirma que enxames de agentes de IA formalizaram em Lean a classificação dos grupos simples finitos em 24 dias
A Axiom Math divulgou aquilo que descreve como a primeira prova totalmente verificada por computador da Classificação dos Grupos Simples Finitos: cerca de 43,1 milhões de linhas de Lean escritas em 24 dias por equipas de…