Das 246-Theorem ist eine bekannte Annäherung an die weiterhin offene Primzwillingsvermutung. Die Schranke geht auf James Maynard und das Polymath8b-Projekt um Terence Tao zurück; formalisiert ist die Aussage pₙ₊₁ − pₙ ≤ 246 für unendlich viele n.
Die Bibliothek PrimeGapsLib teilt den Code in Theorie, numerisches Zertifikat und eine zusammenfassende Schicht. Für die Nachprüfung nennt die README einen Comparator-Lauf, der Stunden dauern soll, sowie eine schnellere Variante. Eine offene Challenge-Datei enthält ein „sorry“ als bewusst gestellte Aufgabe, nicht als Lücke in den Bibliotheksbeweisen.
Axiom Math schreibt die Erstellung der Lean-Beweise seinem KI-System AxiomProver zu und spricht anschließend von Kuratierung und Bibliotheksform. Wie groß der automatisierte Anteil war, wie lange das Projekt dauerte und ob der Bau vollständig durchläuft, wird nicht angegeben.