proofs

Paper 154 v0.0 (OUTLINE) — Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics

Ceci est un plan v0.0 de l'article 'Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics', détaillant la proposition de Rei en tant que passe de compilation pour la vérification formelle des hypothèses générées par l'IA. La validation actuelle est au stade de l'exécution de tests préliminaires, avec une démonstration complète en attente pour la promotion de la v0.1.