Axiom(@axiommathai):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.

Axiom

@axiommathai

The Starting Point for Reasoning

Joined September 2025

45 Following 16.2K Followers

Axiom@axiommathai

2026.08.18 15:14

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.