AI Math Counterexample - Does Exact Arithmetic Agree

Archived study

Records an exact-arithmetic check of an explicit product-of-simplices construction from a pinned mathematics repository. The archived calculation reconstructs vertices and facets and compares independent determinant calculations with the stated claim.

Interpretation and limits

The check covers this finite construction under named mathematical identities, not the whole paper or every proof. The source snapshots and exact calculation files are retained in the package.

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.