Au-delà des mathématiques : Aristote atteint un SOTA de 96,8 % de génération de preuves sur VERINA : Évaluation de la génération de code vérifiable. Vous pouvez en savoir plus sur cette performance sur notre blog d'ingénierie lié dans la bio