Mathematics · 10 min read
Proofs nobody understands: Terence Tao, AI and the purpose of mathematics
What Terence Tao has actually said and done about AI in mathematics, and why I think the real test for AI companies is whether humans can still understand the mathematics their models produce.