@gerardsans
@RonyVernet That’s not how AI works. LLMs sample outputs from a frozen probability landscape via interpolation and next-token probabilities. Every single generation requires external verification: a tool or a subject-matter expert. That’s precisely the point Tao is making. Mathematicians still have to interpret, validate and understand the results. They must judge whether something is correct, partial or hallucinated. Only then can it be integrated and taught. AI does not understand mathematics. It does not solve mathematics. It also cannot create new knowledge or understanding in people. AI is software. It cannot learn or understand things for you. Only a human can learn or understand. AI generates outputs. Only an external verifier can ground them. This is a gap in AI literacy. Hype continues to oversell what the technology can actually do.