korrents

A korrentour 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

Interesting
A private bookmark. Not a position, and never counted.

What Terence Tao actually said

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

  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

    All 4 korrents from this piecethis one is 3rd

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 →