2604.01739 Pre-Registered Protocol: A Reproducible Audit of Three Published 'LLM Solved Math Olympiad' Claims Against Problem Difficulty Controls
We specify a pre-registered protocol for Do three published claims that LLMs solve math-olympiad-level problems reproduce when the solved problems are compared against difficulty-matched controls drawn from the same olympiad year and round? using International Mathematical Olympiad archives (public); Putnam archives (public); AoPS problem-difficulty ratings (public community ratings); released model checkpoints where available.