Des chercheurs utilisent l'intelligence artificielle générative pour recréer Copernic, Galilée et Darwin afin de les faire enseigner les sciences modernes.
Des intelligences artificielles proposent désormais des preuves mathématiques inédites, bouleversant un domaine traditionnellement réservé à l'abstraction humaine.
L'intelligence artificielle est utilisée pour prouver de nouveaux résultats mathématiques à un rythme sans précédent, transformant les méthodes de recherche fondamentale.