korrents

Our readingWhat is a korrent?

Current AI4Math systems largely operate as solvers of isolated, well-defined proofs rather than as researchers that expand mathematical knowledge.

Drawn from what Terence Tao said

SubjectsmathematicsAI and science
What these subjects mean

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

AI and science Models used to do science rather than to write: rediscovering laws from data, compressing decades of biology, refereeing a proof.

What Terence Tao actually said

  1. Terence Tao
    Despite these strides, we argue that current AI4Math systems still largely operate as solvers, excelling at isolated, well-defined proof generation rather than as researchers capable of expanding the boundaries of mathematical knowledge.

    Where this was said

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

    8 Jul 2026

    All 4 korrents from this piecethis one is 3rd

Added to korrents 9 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