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.