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 videos on the current AI issue - https://www.youtube.com/playlist?list=PLVsSL1XVSphg Terence Tao's exc...