Yitang Zhang

Julia Stadlmann of the University of Illinois Urbana–Champaign set a new record on the twin prime conjecture on the last day of August, the first advance on the problem in more than a decade, only to …

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…