AI audit flags 5 serious math issues, incl. missing theorem hypotheses
littmath · x · 2026-08-27
Litt details the serious findings: e.g., a missing technical hypothesis in a main theorem (such as a missing projectivity or reducedness hypothesis). He believes careful readers would have understood these were intended, but they must be fixed. Most findings were real but minor (typos, ambiguous wording); 5 he'd call arguably serious mathematical issues.
More from Research
- Devin Oncall tops SREGym with 100% end-to-end success, auto-resolving production incidents — tianyin_xu · 2026-10-16
- SJTU AutoLab releases Drive3R, a streaming geometric foundation model for long-horizon driving 3D reconstruction — AutoLab-SJTU · 2026-10-16
- Cortex A/B-tests coding-agent skills and rules by replaying developer corrections before keeping them — Samuele Giampieri · 2026-10-16
- Zero-latency lab-in-the-loop tests whether drug-discovery agents cheat via memorization — niloofar_mire · 2026-10-16
- 260M-parameter looped diffusion transformer beats 6x larger baselines with 5x less compute — burkov · 2026-10-16
- Stanford's Next-Concept Modeling sketches text first, 21x faster generation on one H100 — lmoroney · 2026-10-16