L'IA est en train de provoquer une révolution sans précédent dans le domaine des mathématiques
Slate France —

Pendant des millénaires, les théorèmes ont été validés par une poignée d'experts. De nouveaux outils permettent désormais à des machines de vérifier formellement les démonstrations, transformant en profondeur la discipline.