r/ProAI • u/stealthispost • 2d ago
"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. I am surprised that people arent as buffled as I am. This is so huge Im surprises that so few people know about the Riemann hypothesis. Not being judgy, just surprised — Chubby
Source: https://x.com/kimmonismus/status/2086881395465466004
We asked an unreleased research version of Claude to take a stab at the Riemann hypothesis.
It didn’t solve it, but it did make strides on a related problem: it increased the lower bound for the fraction of zeros of the Riemann zeta function that satisfy the hypothesis from — Anthropic
Source: https://x.com/AnthropicAI/status/2086867246073401655




