Automated theorem proving

A twelve-year prime-gap record changed hands three times inside four days

Julia Stadlmann's cut to the small prime-gap bound was the first in twelve years, and a rumor pushed her to post it in August. Axiom Math and OpenAI both went lower before the preprint was four days old.