16 Aug 2026 · 16 min
Artificial cleverness: what Penrose and Tao are actually arguing about
After a year of building software with these models I could not shake the feeling that everything was a rearrangement of something. So can pattern matching find anything genuinely new, and is that what we do anyway? Working through Cantor, the halting problem and Gödel to find out.
Read- ai
- mathematics
- computation