Mm-hmm

... for the audiences who don't know what's new, uh, we had an exciting week.

Um, the very long astonishingly notoriously hard problem, um, bounded gap in primes happened.

The world record has been updated three times this week, first by Julia Solman, a human mathematician, um, getting 240 down from 246, and then by AxiomMath at 212, and then by OpenAI Astra at 186.

Sure.

The psychology behind the scene was, I think in February we tried having axiom prover tackle research conjectures in fields that are, um, pretty deep, have a lot of theoretical literature.

Um, and that was, that was successful, so, um, axiom prover was able to put on archive a few researched open problem solutions completely automated and also fully in Lean without human intervention.

That's in February.