24 сентября 2025 года на платформе Simons Foundation профессор Имперского колледжа Лондона Кевин Баззард выступил с лекцией "Where is Mathematics Going?", которая стала настоящим манифестом новой эпохи в математике. Баззард убедительно доказал, что формальная верификация теорем с помощью интерактивных систем доказательств - это не будущее, а уже настоящее математики.