What does it *mean* when AI solves a long-unsolved math proof?
Terry Tao thinks of climbing vs. jumping. AI systems “are still largely ‘jumpers,’ who can reach heights that a human might not be able to reach in one go but do not ‘fail gracefully,’ and one often cannot salvage much." wapo.st/43DN2OL
Math illuminates how traffic flows, how our cells build proteins and even how to speed up medical imaging scans. Some worry the academic discipline now faces an existential threat.
