korrents

Our 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

SubjectsdocumentationmathematicsAI agents
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

  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.

    Where this was said

    ↗A Modest Proposalmath.columbia.edu

    9 Sept 2026

    All 2 korrents from this piecethis one is 2nd

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

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

I hold this too

Related korrents

Shared subject first, then similar wording. They may agree or disagree.

See this claim on the map