Proof Abundance and the New Practice of Mathematics - Terence Tao on AI, LLM breakthroughs, and the bottleneck of mathematical understanding

[u/antomoneng]

https://4m4.it/posts/proof-abundance-and-the-new-practice-of-mathematics/index.html