proofs

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

Este es un esquema v0.0 del artículo 'Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics', que detalla la propuesta de Rei como un paso de compilación para la verificación formal de hipótesis generadas por IA. La validación actual se encuentra en una etapa de prueba inicial, con una demostración completa pendiente para la promoción a v0.1.