Math, Inc. 自豪地宣布一組全明星的 Veritas Fellows: 著名教授 Kevin Buzzard,與菲爾茲獎得主 Maryna Viazovska 和 Terence Tao 一同參與。 他們將帶領團隊在前所未有的規模上建立正式數學。 🧵