1/ We’re delighted to announce a milestone for AI-assisted mathematics:
With AxiomProver, we've completed a machine-checkable formalization of the “BGP246 theorem,” the best-known bound on recurring small gaps between primes.
Closest math has come to the Twin Prime Conjecture.