AI Math Papers - Can You Check the Proofs

Archived study

Samples distinct research families from a fixed mathematics repository and inventories written proofs, Lean targets, implementation files, and dependencies. Supplementary files close some entry-module gaps in the recorded audit.

Interpretation and limits

No proof checker was run. Static inspection and file availability do not establish proof validity; missing auxiliary bodies and imports remain evidence gaps rather than demonstrated defects.

Package and provenance

The original .science export and matching poster are preserved byte-for-byte from the upstream case. The package contains the conversation, session metadata, and the resources inventoried in its internal manifest. This introduction summarizes the archived record; the research, external sources, and model evaluations were not rerun for this import.