07:43
2026-08-19
officechai.com
artificial-intelligence
AI Startup Axiom Math Formalizes The Closest Proof Yet To The Twin Prime Conjecture
Axiom Math has used its AI system AxiomProver to produce a fully machine-checked formalization of the 'BGP246 theorem,' the best-known bound on small gaps between prime numbers, marking the closest ap…