Science · via YouTube
Terence Tao on the flood of AI-generated maths proofs
A leading light in mathematics for much of his life, Terence Tao discusses the crisis being caused by a massive dump of AI proofs. More links & stuff in full description below ↓↓↓ Our playlist of vide