A korrentour readingWhat is a korrent?
It would be disappointing and surprising if the next five years of AI progress in mathematics produced no economically valuable improvements traceable to it.
Drawn from what Grant Sanderson said
What this subject means
mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.