Le système d'Axiom, vieux de 4 mois, vient de résoudre les problèmes 124 et 481 d'Erdős sans intervention humaine dans Lean. Le code des preuves, à l'instar de la magie des intuitions de Ramanujan, se déploie à l'écran en temps réel. À mes collègues scientifiques : L'avenir de la découverte mathématique est là. J'espère que vous vous joindrez à nous. (8)
Lisez la suite dans l'édition de ce mwsj.com/tech/ai/math-k…/t.co/Fpk9hKBIby (9)