Terence Tao on the crisis caused by a massive dump of AI proofs via x.com