Aktualności22 sierpnia 2026 AI formalizes the 246 theorem — the toughest proof yet
Axiom Math used its AxiomProver system to formally verify the "246 theorem" — the closest result yet toward the twin prime conjecture. It shows AI starting to deliver checkable certainty, not just plausible answers.
