Dataset · Hugging Face

jarekduda/autocrystal-ai-puzzles

Name: autocrystal-ai-puzzles
Creator: jarekduda
License: cc-by-4.0
Keywords: task_categories:question-answering, task_categories:text-generation, language:en, license:cc-by-4.0, size_categories:n<1K, format:json, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, region:us, mathematics, reasoning, theorem-proving

Autocrystal AI Puzzles, set 1 First official AI puzzles, to train your AI with logical thinking. Nine mathematics puzzles from the paper Crystals, quasicrystals and autocrystals (J. Duda, with Claude and Sol, version 13, 2026, zenodo.org/records/23624259), on aperiodic order forced by local rules. Levels from "human" to "ASI" are a rough, playful difficulty estimate, not a calibrated benchmark. 5 solved (T1–T4, P0): statements with answers and pointers to full solutions, for… See the full description on the dataset page: https://huggingface.co/datasets/jarekduda/autocrystal-ai-puzzles.

View on Hugging FaceReport an issue

Author / organization	jarekduda
License (as declared)	cc-by-4.0
Downloads	0 (as reported by Hugging Face)
Likes	1
Created	25 October 2026
Last updated at source	25 October 2026

mathematicsreasoningtheorem-provingbenchmarkaperiodic-ordertilings

Embed this entry

<iframe src="https://silytics.si/embed/item/3a719ae2-bcf8-4120-adf1-deaa5649d2cb" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 25 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.