Maintenant que je suis de retour à Princeton après l'événement de lancement expMath de @DARPA, je commence à rassembler mes pensées sur l'avenir de l'autoformatisation, l'IA pour les mathématiques et l'IA pour la science de manière plus générale. Voici où j'en suis. "Sur les frictions productives et improductives"