After 650 attempts, Claude improved a mathematical bound related to the Riemann Hypothesis, surpassing a long-standing human record. The AI used iterative reasoning to refine its approach. This result demonstrates that high-volume trial and error can solve complex theoretical problems. Researchers can now use LLMs to hunt for specific mathematical constants.