Researcher: verifying 70–100-page proofs by hand takes months; AI could fix that
kfountou · x · 2026-09-13
A researcher describes the bottleneck in AI-assisted mathematics: three of his long-term projects sit unverified, each with 70–100-page proofs that would take months to check by hand — and even auto-formalizing them with Codex or Claude could still take months. Better AI verification, he argues, would dramatically speed up judging correctness.
More from Research
- Dev touts char-level models: no retokenization bugs, dead-simple string munging — cephaloform · 2026-09-13
- SEED-UMI: human-robot shared exoskeleton for one-to-one dexterous demonstration collection — jeasinema · 2026-09-13
- Fruit fly connectome's 166,700 neurons trained to play Overwatch at Masters level — benaratame · 2026-09-13
- LLMs stop asking too early: correct answers can hide poor information gathering — rohanpaul_ai · 2026-09-13
- 16 Calls in One Hour: A Metacognitive Loop That Knows When to Stop Self-Correcting — Dzikula · 2026-09-13
- DeepSeek: working on data beats working on algorithms — burny_tech · 2026-09-13