I enjoyed the article. I'm not a mathematician, but I did notice one aspect: even with his enthusiasm for AI, Tao effectively showed that for the uses he descri

I enjoyed the article. I'm not a mathematician, but I did notice one aspect: even with his enthusiasm for AI, Tao effectively showed that for the uses he describes, AI can currently only handle small chunks of a mathematical problem at a time. Humans, or non-LLM approaches are still needed to stitch these together. It perhaps isn't too different from LLMs being able to coherently output short, a few hundred words, pieces of prose, or code, but not being able to assemble them into functional output with constant "nudging". Happy to be corrected on this!