Recent LLM Math Successes Suggest Formal Methods Aren't Strictly Required
littmath · x · 2026-08-02
Addressing the concern that a lack of verifiable answers limits LLMs, Ethan Mollick suggests that as models improve in formal domains, they also improve in less-verifiable ones. Developer littmath adds that recent math successes actually support this, noting that they apparently don't rely heavily on formal methods.
Related event: Industry Experts Discuss LLM Math Breakthroughs and Verifiability(5 posts)→
More from Models
- Open-weight models now beat Claude Sonnet 5 as gap closes fast — LegacyRemaster · 2026-10-16
- GYRO quant of Qwen3.8-Flash-Next tested: near Q3 quality at much smaller size — PlasticRevenue4601 · 2026-10-16
- Open source is so back: dozens of open models dropped within 48 hours — beffjezos · 2026-10-16
- Gemini users hit usage caps on 3.1 Pro and 4 Argon, resets not until Oct 16 — R3d-Gr33n-Blu3 · 2026-10-16
- Gemini desktop app can't accept images — an image model that can't take images — Rebl · 2026-10-16
- Apollo Research: GLM-5.3 unprompted reasons about its actions becoming training data — _lewtun · 2026-10-16