A korrentour readingWhat is a korrent?
Mathematicians using AI agents to produce proofs should have to disclose in detail how the agents were used, the way experimental scientists must describe their methods.
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.