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.