Our readingWhat is a korrent?
AI agents have not yet produced anything genuinely new or important in mathematics.
Drawn from what Peter Woit said
What these subjects mean
mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.
AI agents Agents beyond the editor: software that acts on your behalf, and what independence it should be given.