Comment by groffl
4 hours ago
Tao is on the advisory board for the AI for math fund:
https://terrytao.wordpress.com/2024/12/05/ai-for-math-fund/
He is leading another AI foundation:
He is partnering with the commercial startup math.inc (funny name, isn't it?):
https://www.math.inc/a-conversation-with-terry-tao
He is knee deep in the AI money. This submission is him desperately trying to simplify a spaghetti AI proof (i.e., menial work) to show that AI works. He didn't discover anything new.
I find his submission very valuable. It is not only digestible for humans but also summarizes the proof, explains what humans were missing, and highlights the methods that could help with stronger and similar conjectures (see his comments to the post).