“With the rise of generative AI, we are now seeing regular predictions that human mathematical power is at last on the verge of being outstripped, whether or not anyone likes it.”
Mathematician Michael Harris on the race to automate mathematics, and the fate of human understanding in the age of AI:
AI companies are racing to mechanize mathematics. Where does that leave human understanding?
