Math, Inc. dengan bangga mengumumkan grup all-star Veritas Fellows: Profesor terkenal Kevin Buzzard, bersama Peraih Medali Fields Maryna Viazovska dan Terence Tao. Mereka akan memimpin tim untuk membangun matematika formal dalam skala yang belum pernah terjadi sebelumnya. 🧵