Statistical Theory in the Age of Machine-Assisted Mathematics: Rethinking How Theory Is Made and Taught

Pietro Coretto

The computational revolution is advancing at an unprecedented pace. The combination of proof-assistant technologies and generative AI tools has recently enabled the solution of com…