proof-assistants
Claude raised the zeta critical-line bound to 67.2 percent, and Anthropic published the proof News
An unreleased research version of Claude raised the proven lower bound on the fraction of Riemann zeta zeros lying on the critical line from 41.6 percent to 67.2 percent, and Anthropic published the paper and a machine-checked Lean proof on August 10.
The viral Riemann result an AI supposedly proved is not in the literature News
A widely shared claim that Claude raised the proven fraction of Riemann zeta zeros on the critical line from 41.6 to 67.2 percent does not match any published result; the closest paper says the two-thirds figure follows only if an assumption nobody has removed can be removed.
AI Helped Crack a Famous Math Conjecture, and Humans Verified It in Lean News
Mathematicians found an explicit counterexample disproving the Jacobian conjecture in three dimensions, checked partly with an AI chatbot and formalized in a Lean proof, while two other viral AI-math claims remain unverified.