Sidharth Hariharan

Axiom Math's AI system, AxiomProver, has verified the 246 theorem on prime gaps, building on Yitang Zhang's 2013 proof and James Maynard's refinement to 600, and creating a reusable library of results…

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…

Axiom Math's AI system AxiomProver has automatically verified the proof of the '246 theorem' about prime numbers, marking the first time this theorem has been formally verified. The theorem, which sta…