Datasetpublic

terrytao00/counterexample-digestions

Counterexample Digestions — verification artifacts Companion artifacts for the "digestion" posts on the constructions found by Claude Fable 5 with L. Alpöge. One row per problem. Fields field meaning problem short name of the conjecture status state of the construction constructed_at date the construction was written up updated_at date this deposit was last refreshed solution_enc the construction, encrypted under a passphrase solution_sha256… See the full description on the dataset page: https://huggingface.co/datasets/terrytao00/counterexample-digestions.

sourceHugging Facecc-by-4.0updated 1mo agoView on Hugging Face

0likes49downloads

Dataset Card

Counterexample Digestions — verification artifacts

Companion artifacts for the "digestion" posts on the constructions found by Claude Fable 5 with L. Alpöge. One row per problem.

Fields

field	meaning
`problem`	short name of the conjecture
`status`	state of the construction
`constructed_at`	date the construction was written up
`updated_at`	date this deposit was last refreshed
`solution_enc`	the construction, encrypted under a passphrase
`solution_sha256`	SHA-256 of the plaintext, for confirming a correct decryption
`kdf`	key derivation used for `solution_enc`

The constructions are held under a passphrase while the preprints are in preparation, so that the write-ups and the objects appear together rather than piecemeal. solution_sha256 lets a holder confirm they have recovered the intended string.

For the decoding password of the answer, please email tao@math.ucla.edu.

Files

—counterexamples.jsonl — 10 rows

Each construction is finite and checkable by hand; the point of depositing them is that readers verify rather than take the announcements on trust.