L'IA Aletheia de DeepMind résout 6 problèmes mathématiques de niveau recherche
Aletheia, la dernière IA mathématique de DeepMind, a résolu 6 des 10 problèmes de recherche non publiés du défi FirstProof, dont 5 solutions ont été évaluées par des experts externes comme publiable après des révisions mineures.