blog — Proofs and Prompts — 27 Oct 2026
In search for unattAInable riddles
#ai-reasoning #problem-solving #mathematical-capability
“The popular youtuber 3blue1brown presented a beautiful IMO riddle which AI systems could not solve back in 2025 (link […]), but six talented problem-solvers got full marks on. I wanted to propose a challenge: let us attempt to formulate mathematical problems which clever human mathematicians (or perhaps even school kids) can solve, but AI systems stumble upon! […]”