Mon Codex a été en train de traiter des preuves lean pendant 12 heures d'affilée maintenant ; j'ai vérifié et apparemment il a créé puis supprimé plus de 1k lignes de "Théorie de la Simulation"