Nine checkable math puzzles from human to ASI level; Grok passed solved ones but mistook a float estimate for a proof
jarekduda · reddit · 2026-10-25
A Reddit user compiled nine math puzzles on aperiodic order, graded from "human level" to "ASI level," with exactly checkable answers (AIpuzzles.md on Zenodo) to test and train model reasoning. Five are solved — from a warm-up on 4×4 tiling correlations to an exact multifractal dimension 6−log₂λ with λ of degree 17. Four remain open: two spectral gap labels, an information dimension (D₁≈1.340), and the final 2×2 question of whether every extreme point of the body of 2×2 statistics of shift-invariant binary measures is periodic. Rules require checkable proofs (written, Lean/Coq, or exact/interval computation); floats are only evidence. Grok already tried publicly on X: it handled the solved puzzles but turned its numerical D₁ estimate into a claimed proof — exactly what the rules exclude. Accepted results are credited by name, agent and model in the paper's next version.
More from Models
- TensorSharp ships day-1 MiniMax-M3.1-Flash support with 9.8x faster 64K prefill vs llama.cpp — fuzhongkai · 2026-10-25
- Similarweb: 93.7% of ChatGPT visitors also use Google, overlap keeps widening — gaganghotra_ · 2026-10-25
- TensorSharp ships Day-1 MiniMax-M3.1-Flash support: 9.8× faster 64K prefill than llama.cpp on 8× A40 — fuzhongkai · 2026-10-25
- Users mourn the lost 'rhythm' of early Opus 4.5 checkpoints — repligate · 2026-10-25
- Reflection AI's open-weights Beam served 10 trillion tokens in one week — zacharynado · 2026-10-25
- Dimitris Papail: Raion 'incredibly strong for its size' as from-scratch pretraining spreads — DimitrisPapail · 2026-10-25