MathAudit

Mathematical papers, audited and connected.

Explore AI-generated mathematical audits, published-paper records, and the proof-critical relationships between papers.

Explore the project

Choose a collection

Audited corpus

Search the arXiv corpus by metadata, MSC classification, date, and audit result. Open each paper to inspect its mathematical audit.

Published literature

Browse published papers and their bibliographic records. Audits can be added independently of their arXiv versions.

Proof lineage

Trace only the earlier results needed by a paper's proofs, following those dependencies recursively until the chain reaches books.