Comment by dfah-qwes

Well, so Tao now invites literal industry boosters to lure mathematicians into a pro-AI stance. This is the guest poster:

https://www.3blue1brown.com/talent

The only concrete step any mathematician on the internet, including on the other AI concern site https://proofsandprompts.com/ , is demanding funding for an academic frontier AI.

Strange that the Poincare conjecture was solved by a hermit without all this AI bullshit. Maybe reject AI, ignore all AI proofs and retreat from the internet.