Ce qui est vraiment génial avec l'IA d'autoformalisation, c'est que nous pouvons avoir une grande confiance dans la validité de ces preuves générées. C'est un niveau de vérification qui manque à beaucoup de travaux écrits par des humains et qui en bénéficierait. Un grand merci au super modèle Aristote de @HarmonicMath !