Mathematician littmath: many OpenAI results 'aren't exactly proofs'
littmath · x · 2026-10-11
Mathematician littmath weighed in on the debate over OpenAI's math manuscripts, calling the comparison to de Branges' proof of the Bieberbach conjecture 'pretty apt': 'there's a reasonable argument that many of these are not exactly proofs, though I agree most can probably be turned into one with substantial effort.'
It responds to MichaelDruggan's claim that 'the vast majority of OpenAI's results are correct,' highlighting a genuine divide over the rigor of AI-generated proofs.
Related event: OpenAI's 722-Paper Math Dump Sparks Fierce Debate in Academia(32 posts)→
More from Research
- All of Science embedded and free: semantic search for your agents, 10 req/min — IgorCarron · 2026-10-11
- dioscuri: 2027 will be the year AI does for science what it did for math — dioscuri · 2026-10-11
- Tsinghua's AAArena finds AI agents hit rank 1 with replays but stall on complex games — rohanpaul_ai · 2026-10-11
- 100 Claude agents no better than 10: Ramez Naam shows agent scaling tops out fast — zsakib_ · 2026-10-11
- Turing Post's 2026 guide: which LLM benchmarks to use for reasoning, coding, math and agents — TheTuringPost · 2026-10-11
- OCR benchmark fairness: postprocessing and formatting conventions skew scores — VikParuchuri · 2026-10-11