Math, Inc. freut sich, eine All-Star-Gruppe von Veritas-Stipendiaten anzukündigen: Der renommierte Professor Kevin Buzzard, zusammen mit den Fields-Medaillengewinnern Maryna Viazovska und Terence Tao. Sie werden Teams leiten, um formale Mathematik in beispiellosem Maßstab aufzubauen. 🧵