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

加入 September 2025

45 正在关注 16.2K 粉丝

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.

显示更多