I feel like with 2 fields medalists on boards, the culture can finally shift. I'm really excited. [It's not just about math, see https://hapgood.us/2015/10/17/

I feel like with 2 fields medalists on boards, the culture can finally shift. I'm really excited. [It's not just about math, see https://hapgood.us/2015/10/17/the-garden-and-the-stream-a-technopastoral/ https://hapgood.us/2015/10/17/the-garden-and-the-stream-a-te... for a great explanation of the type of labor that is mathlib is sorely lacking in just about every sector. I'm really hoping that mathematics can lead the way here.]