Comment Comment by groffl 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:https://sair.foundation/He is partnering with the commercial startup math.inc (funny name, isn't it?):https://www.math.inc/a-conversation-with-terry-taoHe 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. parent groffl 2 months ago
https://terrytao.wordpress.com/2024/12/05/ai-for-math-fund/
He is leading another AI foundation:
https://sair.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.