This is a good read from the outspoken Michael Harris. AI firms obviously see math problems as just a strip-mining quest for trophies, praise, and riches. This is why they address every other use case as well. They misunderstand the human endeavor.
Greg Langmead
“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?
