korrents

A korrentour readingWhat is a korrent?

AI systems are now capable of meaningful contributions to formal mathematics, not only informal problem-solving.

Drawn from what Terence Tao said

Subjectmathematics
What this subject means

mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.

What Terence Tao actually said

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

  1. Terence Tao
    These developments inform our position that AI systems are now capable of meaningful contributions to formal mathematics, not merely informal problem-solving.

    Where this was said

    ↗From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier (with 18 co-authors)arxiv.org

    All 4 korrents from this piecethis one is 4th

Added to korrents 8 Jul 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 →