« Les mathématiques subissent le plus grand changement de leur histoire. » Ravi de voir notre agent mathématique #Aletheia mis en avant par @newscientist pour ses résultats lors du défi inaugural FirstProof, aux côtés d'autres jalons intéressants dans la recherche en IA pour les mathématiques ! Des implications à méditer. Lien dans le fil.