Independent exact certification of machine-generated mathematics — exact arithmetic, no code shared with the claimant, refusal as a verdict.
combinatorics reproducibility interval-arithmetic number-theory tensor-decomposition automated-reasoning computer-assisted-proof rl-environments rigorous-numerics exact-arithmetic ai4math llm-evaluation rlvr alphaevolve reward-hacking llm-benchmark mathematical-discovery erdos-problems ai-for-math certified-computation
-
Updated
Oct 16, 2026 - HTML