Formal theorem proving
Technique · AI for Science · 1 item since Aug 2026
Producing machine-checked proofs in proof assistants such as Lean.
Related
- Organizations
- Techniques
Items
- Aug 10
Claude raises the Riemann zeta critical-line bound
An unreleased research version of Claude, coordinating about 60 subagents across two Claude Code sessions and 31M output tokens, raised the proven fraction of zeta zeros on the critical line from 41.6% to 67.2%, formalized in Lean.