OpenAI's Math Proof Feat Questioned as Repackaged 2016 Paper
RexDouglass · x · 2026-08-08
A researcher points out that OpenAI's (Astra) recent mathematical proof feat appears to be more of a surface-level stitching of components. The LLM-generated proof hinges on a particular mathematical argument that it presented as its own, but which actually first appeared in a 2016 paper.
More from Models
- GLM 5.3 Flash scores 39 on Artificial Analysis index, beating larger Mistral and Muse models — airesearch12 · 2026-10-16
- Open-source ASR built on a Qwen3-4B decoder posts 3.54 average WER across 5 languages — rohanpaul_ai · 2026-10-16
- Google's "Paid Pro" paywall in Antigravity angers Pixel buyers and bundle subscribers — Chance-Okra-5920 · 2026-10-16
- GLM 5.3 Flash is now free in OpenCode coding tool — DanielLockyer · 2026-10-16
- GPT-6 Sol runs a potion shop flawlessly but its reasoning mistakes stock for its own stats — liminal_bardo · 2026-10-16
- Codex convert says Claude app is 2-3x better optimized with a far smoother UI — ItchyResearcher5671 · 2026-10-16