Andrei Vladimirovich Fufaev

A Provenance-Aware Proof Ledger for Long-Horizon AI-Assisted Mathematical Research: Specification, Status Discipline, and a Reference Implementation

This preprint introduces a provenance-aware proof ledger for long-horizon mathematical research, including AI-assisted workflows. It provides a status taxonomy that separates external theorems, exact derived results, rigorous computation-assisted results, finite-only results, num...

A Provenance-Aware Proof Ledger for Long-Horizon AI-Assisted Mathematical Research: Specification, Status Discipline, and a Reference Implementation

This preprint introduces a provenance-aware proof ledger for long-horizon mathematical research, including AI-assisted workflows. It provides a status taxonomy that separates external theorems, exact derived results, rigorous computation-assisted results, finite-only results, num...