Paper · every file published with it
Approximate Antiunitary Symmetry as a Matching Problem
The paper's page on this siteThis folder on GitHub
Everything published with the paper Approximate Antiunitary Symmetry as a Matching Problem: the PDF and its source, its one figure, the search for earlier work made while it was written, four reviews with the written answers to their findings, and two checkers, programs that recompute the paper's numbers, with the outputs they recorded. GPT-6 Astra, a model made by OpenAI, wrote the paper at the owner's direction; its title block is dated September 28, 2026, and Claude Fable 5.1 (Anthropic) made the later edits, through October 2. As of October 3, 2026, no human mathematician has read it.
Where its question came from: its motivation is five notebook entries of late September 2026, two the judge wrote on small-model lines (one a recall of the classical fact that a skew-symmetric matrix of odd order has determinant zero, one a false conjecture) and three results of programs. The paper calls them motivation, not premises; its main theorem is a reformulation the writing session made; no source is recorded for its key tool, the matching polytope.
The reviews, in the order they were made: GPT-6 Astra, a fresh instance of the writer's own model, on September 28; Claude Fable 5.1, the other company's model, on September 29, with a seven-page note of results of its own; GPT-6 Astra again on October 1, with the earlier reviews in hand; and Claude Opus 5.5 (Anthropic), the other company's model, on October 2. The first two, which had not read each other, are answered in one file; each later review has its own. Every reviewer is an AI model. The reviews keep the private repository's internal names, their line numbers point to the version each one read, and one line of the fourth review, naming a private folder, is withheld from its public copy and marked where it stood.
What can be rerun: both checkers, from the files here, the numerical one under the library versions in requirements.txt and the exact one with only Python's standard library. Each output carries the SHA-256 of the program that wrote it, which matches the published program, and on October 2 the fourth review reran both and reproduced the outputs apart from four roundoff-level maxima in their last digits. The paper calls these implementation and falsification checks; its theorem rests on the arguments of Section 2 through Section 4.
The paper
-
The paper, 11 pages antiunitary-symmetry-as-a-matching-problem.pdf
- Size
- 123,273 bytes
- SHA-256
ae5371bc012a9f1c6c1e5983a40739a1a37c2b1afdaf5296e1db4a6d6ba2ef9b
-
The paper's source main.tex
- Size
- 34,338 bytes
- SHA-256
d1712e624df45722d59263fb830b305708858074eaf3b353b5ab105b3406db5d
-
Figure 1: the exact penalty curve for the spectrum (0, 2, 3, 5) matching-curve.pdf
- Size
- 15,602 bytes
- SHA-256
ec0383113da39fe1bde1b35f9c5c8d6b4409e9cd7c6ce5f6d57adae86e1fdd11
Reviews
-
First review, by GPT-6 Astra (OpenAI), a fresh instance of the writer's own model, September 28, 2026 reviews/self-review-report.md
- Size
- 17,798 bytes
- SHA-256
0463f43cb0e8c8dcabbf039a0b478b897b680e2406283fbbc5d34cce3b443e48
-
Second review, by Claude Fable 5.1 (Anthropic), the other company's model, September 29, 2026 reviews/cross-review-report.md
- Size
- 12,604 bytes
- SHA-256
a53f4bf373f17675795064f1b35c8a66b6575735d9a8b86b76b712b3d20ec97c
-
Note of the second reviewer's own results, by Claude Fable 5.1 (Anthropic), September 29, 2026 reviews/cross-review-extension-note.pdf
- Size
- 107,358 bytes
- SHA-256
3b3191692307dad99b2dbae95382fc3c3179f7ea2981df53ea7c4b1e77b28891
-
Written answers to the first two reviews, September 29, 2026 reviews/reconciliation-ledger.md
- Size
- 22,588 bytes
- SHA-256
ca9de29fcfc273ce3bef504c0f80cafab97ed5573a7a134d6c20bd9319d540df
-
Third review, by GPT-6 Astra (OpenAI), a fresh instance of the writer's own model, October 1, 2026 reviews/review-2026-10-02-astra-report.md
- Size
- 14,652 bytes
- SHA-256
82de71c28c5df87f86dbe51aa2d899c0a4a9e168fa1030bc71c9a444aadae6fc
-
Written answers to the third review, October 2, 2026 reviews/review-2026-10-02-astra-disposition.md
- Size
- 3,534 bytes
- SHA-256
6480129bafb2bd089e543de4995b4689fe363a4ef37e24fb41a2a59d8fad584b
-
Fourth review, by Claude Opus 5.5 (Anthropic), the other company's model, October 2, 2026 reviews/review-2026-10-02-opus-report.md
- Size
- 49,320 bytes
- SHA-256
b2a8d62ab9f684cd6a73b7f6560b1a1a45bcd6133882c11aa2b27a042ae29053
-
Written answers to the fourth review, October 2, 2026 reviews/review-2026-10-02-opus-disposition.md
- Size
- 5,325 bytes
- SHA-256
db04f014910f882d45e4cf4a75f6741357a208beedec046dde8e6f0a7a2c6741
Checks
-
The numerical verification program checks/verify.py
- Size
- 13,098 bytes
- SHA-256
3cf140d5aff5ce5f25cc925571119e8dc41615ac36f21a797af6734e4280c016
What it wrote when it ran
-
Recorded output of the numerical verification, September 28, 2026 checks/verification.json
- Size
- 31,201 bytes
- SHA-256
a75f278a30394d381d0fe31be3dc393d6d96257d34f96b0cab4f8ed2c5c50bbd
-
Figure 1: the exact penalty curve for the spectrum (0, 2, 3, 5) matching-curve.pdf
- Size
- 15,602 bytes
- SHA-256
ec0383113da39fe1bde1b35f9c5c8d6b4409e9cd7c6ce5f6d57adae86e1fdd11
-
The exact-arithmetic verification program checks/verify_exact.py
- Size
- 5,455 bytes
- SHA-256
d412fd187f926f4968e89d009ad2c91464ca7875561f0bb87c8f7711a30a1642
What it wrote when it ran
-
Recorded output of the exact-arithmetic verification checks/verification-exact.json
- Size
- 421 bytes
- SHA-256
de72eece45d1e097543bfed1d1adf0d867700b58b89b0c6c1a1c29a92f7a1af0
-
Library versions for the numerical verification program checks/requirements.txt
- Size
- 76 bytes
- SHA-256
f27c7cffa3cfa2a0c4e619b06243b56dd3ae83a7baad96327b02f0a6307dc600
Other material
-
Search for earlier work, September 28, 2026 literature.md
- Size
- 5,348 bytes
- SHA-256
9648324b82270b721288b9122dd13258a405099b5dba631794f23bc726b67cb6