The rise of AI models and the ability to verify their outputs together have enabled a kind of automation of the mathematics pipeline.

“I think, I think on the one hand it's very exciting and sort of, uh, predictable because the rise of AI models and the ability to verify the outputs put together has led to a kind of automation of the, of the math pipeline.”