Answer in brief
Grant Sanderson expects AI to become extraordinarily capable at mathematics, but he does not think an Olympiad medal, a famous proof, or any other single result will mark the arrival of general intelligence. The deeper transformation begins when machines can choose valuable questions, invent productive definitions, build explanatory theories, and compress sprawling results into intelligible ideas. He expects AI eventually to outperform most people at both proving and explaining mathematics. Human mathematicians would then shift toward judging significance, curating an overwhelming supply of machine-generated work, and connecting mathematics to worthwhile problems. His central uncertainty is not whether machines will produce more mathematics, but whether their output will be trustworthy, comprehensible, and directed toward anything people actually value. 6:259:2028:3535:0037:201:25:45
