AI Math Citations - Do They Check Out

Archived study

Audits a sample of bibliography entries from AI-written mathematics papers and checks a smaller set of nearby claims. The final revision separates direct publication-record evidence from later user-supplied notes.

Interpretation and limits

Some identity upgrades and favorable claim assessments rely on supplied notes rather than independently inspected theorem text. Unresolved references and version-dependent support remain explicit.

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.