proof-assistants
Epoch marks a claimed AI-assisted ζ(5) proof as solved, with public Lean code but no settled consensus News
Epoch lists its Apéry irrationality target as solved “human + AI” after a September preprint claimed ζ(5) is irrational and linked public Lean formalization, while independent mathematical review and the AI attribution remain unresolved.
GPT-6 Astra helps solve FrontierMath's first Major Advance problem News
Epoch lists a proof that every approval-based committee election has a core-stable committee as its first solved Major Advance problem, crediting GPT-6 Astra with the central idea in an interactive human-AI collaboration.
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.