A mathematician just found a cleaner proof of a recent Claude AI breakthrough involving the Riemann zeta function. Youness Lamzouri proved that more than 67.25% of its non-trivial zeros are simple and lie on the critical line, while at least 83.62% are distinct. The result is related to the famous Riemann Hypothesis, which asks whether all non-trivial zeros lie on the critical line Re(s) = 1/2. Lamzouri's new proof replaces Claude's intricate matrix-based approach with a direct Hilbert-space inequality, combined with Montgomery's pair-correlation theorem. The fascinating part? Claude found the original breakthrough, and now a mathematician has found a cleaner proof of the same result. The new proof was also formally verified in Lean by the Axiom Math team. Mathematics is entering its own AI acceleration era!