korrents

A korrentour readingWhat is a korrent?

Natural-language LLM mathematical reasoners are fundamentally limited by lacking machine-checkable semantics, which blocks autonomous verification needed for open-ended research.

Drawn from what Terence Tao said

SubjectLLMs

What Terence Tao actually said

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

  1. Terence Tao
    However, these LLM reasoners that generate informal reasoning in natural language are fundamentally limited by the lack of precise, machine-checkable semantics, making their outputs prone to hallucinations [Huang et al., 2025b] and precluding autonomous verification, a prerequisite for tackling open-ended mathematical research.

    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 2nd

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 →