Anthropic用未发布Claude尝试黎曼猜想，意外改进零点下界

Absolutely insane. This might be the clearest glimpse yet of how AI will transform scientific discovery.

Anthropic asked an unreleased version of Claude to take a real stab at the Riemann Hypothesis, one of the most famous unsolved problems in mathematics.

It failed. But while failing, Claude unexpectedly improved a longstanding lower bound for the proportion of zeros of the Riemann zeta function known to satisfy the hypothesis, from 41.6% to 67.2%.

Claude coordinated 60 subagents, tested hundreds of ideas, searched the literature, challenged its own proof, and formalized the result in Lean. This is what the beginning of autonomous AI-driven scientific discovery looks like.

Unironically, the Rienann hypothesis will probably be solved in the very near future.

I am speechless.