Claude moves a zeta bound to 67%
Anthropic says an unreleased research version of Claude improved a Riemann zeta lower bound from 41.6% to 67.2%, with a paper, expert note and Lean formalization.
mathematics News and Analysis
4 verified stories covering mathematics, product updates and industry developments.
OpenAI Lets Astra Write Ten Proofs
OpenAI used Astra's first public research signal to release ten math and theoretical computer science results, with a 249-page paper, Lean certificates and reasoning walkthroughs.
GPT-5.6 produces a graph-theory proof
GPT-5.6 produces a graph-theory proof. A concise localization of the verified facts and the industry signal behind the story.
DeepSeek Launches Math Proof Model Prover-V2
DeepSeek has released Prover-V2, a specialized model for automated theorem proving in the Lean 4 formal verification system, achieving near state-of-the-art results on the miniF2F benchmark.