L'IA vient de franchir un seuil en mathématiques. @tachim PDG @HarmonicMath sur la façon dont l'IA change la vérification mathématique : "Il y a un an, formaliser des preuves avec l'IA était pratiquement impossible. Maintenant, c'est accepté très rapidement." "Avant, si vous résolviez un problème d'Erdős, vous aviez besoin d'un professeur pour le garantir, risquant sa réputation et passant un temps significatif." "Maintenant, n'importe qui peut tenter une solution, la formaliser, et tout le monde peut être sûr qu'elle est correcte."