Math, Inc. 自豪地宣布一组明星 Veritas 奖学金获得者: 著名教授 Kevin Buzzard,以及菲尔兹奖得主 Maryna Viazovska 和 Terence Tao。 他们将带领团队在前所未有的规模上构建形式化数学。 🧵