Mathematicians find issues beyond sloppy presentation in OpenAI's math dump
burny_tech · x · 2026-10-09
Mathematician grotsen amplifies criticism of OpenAI's "Big Bag of Slop" (700+ math manuscripts released Oct 6): beyond the presentation problems he flagged, colleagues reviewing the proofs are finding substantive issues — evidence, he argues, of the limits of using AI for such tasks.
Related event: OpenAI's Math Documents Criticized as ~1% of Proves Flawed(3 posts)→
More from Models
- Unsloth adds fine-tuning to turn Qwen, Llama and Gemma into small local decision models — blaizedsouza · 2026-10-09
- Meta details Muse Glimmer: open-weight model for local agents, from pre-training to quantization — LotfiSanae · 2026-10-09
- NeurIPS paper: LLMs keep thinking even when explicitly told not to — james_y_zou · 2026-10-09
- New Sol chat model is overly guarded and avoids extrapolation, researcher reports — TheZachMueller · 2026-10-09
- Step 5 Preview flags $256.7M one-time tax gain in Duolingo's $414.1M net income unprompted — Div_pradeep · 2026-10-09
- Indie dev trains Rei-v1, a tiny open reranker model for research agents — gnukeith · 2026-10-09