[davidrjones1977]

I really love the extent to which Terry Tao has embraced the promise and potential of proof assistants. So many smart and talented people in that community doing so much amazing work. With folks like these pushing the boundaries, the sky is the limit.

[photonthug]

Yes! It’s rare and really encouraging to see an established giant embracing and extending the new and reaching outwards to other communities rather than doubling down on the old ways, gatekeeping, moat-building, and defending their kingdom. It’s an unusual source for hope and gratitude maybe, given the esoteric subject matter, but it also might be the only one I see this week.

[xanderlewis]

It’s only those with something to prove who do that. He has nothing left to prove. Probably never did; he just genuinely enjoys what he does.

[griffzhowl]

Another fields medalist is also on the case: Tim Gowers

https://gowers.wordpress.com/2022/04/28/announcing-an-automa...