Math, Inc. с гордостью объявляет о группе выдающихся стипендиатов Veritas: Знаменитый профессор Кевин Баззард, а также лауреаты медали Филдса Марина Вязовская и Терренс Тао. Они возглавят команды для создания формальной математики в беспрецедентных масштабах. 🧵