2026-09-12 04:47 UTC
@cwebber@social.coop Tao was previously cheerleading the use of AI to find proofs but I guess it's good he's figured out the scam?
Replies (1)
-
@jsbarretto@social.coop 2026-09-12 07:17
@aburka@hachyderm.io @cwebber@social.coop His position seems to have become much more subtle in recent months from what I've seen. There was a monologue he did for BigThink a few days ago on the topic, worth a watch. He seems to be deeply concerned about the intellectual costs of these models.