Revised AI Papers - Did the Main Claim Change

Archived study

Compares available versions of mathematics papers at pinned repository commits, focusing on assumptions, conclusions, gaps, and supporting files. The final record verifies supplied file hashes and preserves exact diffs.

Interpretation and limits

Verified bytes and supplied historical provenance are separate evidence. A wording or theorem change does not by itself prove correctness, and papers without visible revisions are not thereby validated.

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.