Zero-sum game? Much of what made mathematics meaningful to those who study it is now being done by AI
That common knowledge was always the real product, while published theorems and proofs were “residue,” says Benjamin Collas, a mathematics researcher at Kyoto University. AI has simply “called the bluff” of the system, he adds; the risk now is that as software generates more mathematical knowledge, humans understand less of it.
