proofs

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

Este é um esboço v0.0 do artigo 'Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics', que detalha a proposta de Rei como uma passagem de compilação para verificação formal de hipóteses geradas por IA. A validação atual está em fase de teste inicial, com uma demonstração completa ainda pendente para a promoção da versão 0.1.