Davantage de personnes devraient lire Tao pour comprendre ce que ces IA font réellement pour lui et ses collègues : résolution de conjectures spécifiques, recherche bibliographique, recherche de bornes supérieures, synthèse finale des preuves… Je me demande si c'est optimal, ou si Tao préfère les utiliser comme des outils spécifiques.
