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.
Related event: RL Scholar Withholds Long Protests Over Poor AI Writing Quality(3 posts)→
More from Research
- DeepMind's Economics of Intelligence: AI reshapes economy via agent coordination, not solo model smarts — Scobleizer · 2026-10-31
- Nesformer: an entire Nintendo crammed into ~1GB of Qwen3.5 weights, following the Qwenputer method — idanbeck · 2026-10-31
- SCOPE workshop proposed for ICLR 2027 asks what counts as an AI scientific discovery — mariyaivasileva · 2026-10-31
- New MolmoSpaces-CommonSense benchmark: no robot policy tops 30% on manipulation tasks — RanjayKrishna · 2026-10-31
- Mischief launches video model trained from lab-grown brain cells at 0.5¢ per second — evilsocket · 2026-10-31
- Stanford CS336 notes: Percy Liang on scaling recipes and hyperparameter transfer — stanfordnlp · 2026-10-31