korrents

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.

What Peter Woit actually said

Word for word, with the source under each one. They did not write this page.

  1. Peter Woit

    Mathematician and Senior Lecturer in the Mathematics…

    the math community needs to adopt a version of the ethical standards of experimental science. If you are using AI agents, you can't just give a proof (formalized or not), but need to also provide a detailed explanation of how these agents were used to get the result.

Added to korrents 9 Sept 2026 · How quotes work · Something wrong? Tell us

Do you hold this korrent?Do you also believe this?

Sign in to record that you hold this, with a confidence number of your own.

Related korrents

Our reading — they may agree, disagree or merely touch the same thing. Closest first: a shared subject counts for most, then how near the wording is.

On the map

Loading the map… or open it on its own page

Open the map on its own page →