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.
Conversations for this repository live on Hugging Face.
CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face