AI and the World's Hard Problems ─ Mathematics
Science and scholarship advanced by AI, by discipline
RSS feed · 3 items
AI edges closer to solving the Riemann hypothesis, one of math’s hardest problems
OpenAI posts 700 maths preprints online: mathematicians are up in arms
OpenAI used an unreleased model on hundreds of high-profile mathematical problems and posted more than 700 AI-generated preprints on GitHub on 6 October. Some mathematicians welcomed the solutions of long-standing problems, while others complained on social media about being scooped. One mathematician called the flood a "slopocalypse", although the content could still prove formally correct.
Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis
The Riemann hypothesis, an unsolved problem, states that the zeros of the Riemann zeta function all lie on a certain vertical line. While attempting the problem, an unreleased research version of Claude did not prove it but improved a longstanding lower bound on the fraction of zeros that satisfy it, raising it from 41.6% to 67.2%. Two Anthropic mathematicians validated the paper and wrote an informal expert note, and Claude also produced a formally verifiable proof. The result is not expected to lead to a proof of the hypothesis itself.