Old Paul Calvano take resurfaces: why can't LLMs make mathematical discoveries?
paul_cal · x · 2026-10-07
paulcal resurfaces his June 2023 take: he doesn't see why LLMs shouldn't be able to make mathematical or logical "discoveries" (a priori knowledge) — gaining certainty on questions neither it nor any human had resolved before.
The quote-tweet reopens a core debate about LLM reasoning: are models just recalling training data, or can they produce genuinely novel knowledge?
More from AGI Musings
- Gary Marcus Slams OpenAI's Vague Math Proof Report: Zero Details, Won't Pass Peer Review — GaryMarcus · 2026-10-08
- Anthropic alignment head's doom estimate implies 800M innocent deaths, quips stats lecturer — wfithian · 2026-10-08
- Rotman Professor Sums Up His AI and Management Course in One Post — Afinetheorem · 2026-10-08
- eigenrobot on Academic Fraud: Cover-ups and Threats Are the Norm, Not the Exception — eigenrobot · 2026-10-08
- Researcher estimates 25% chance some current AIs are already conscious — cccalum · 2026-10-08
- A debate on whether AI abundance is distributed equally to everyone — LeviTurk · 2026-10-07