IA Aletheia do DeepMind resolve 6 problemas matemáticos de nível de pesquisa
A Aletheia, a mais recente IA matemática do DeepMind, resolveu 6 dos 10 problemas de pesquisa não publicados do desafio FirstProof, com 5 soluções avaliadas por especialistas externos como publicáveis após pequenas revisões.