Critic: OpenAI's math proofs were rushed, lacked formal verification, ignored protocols
gerardsans · x · 2026-10-10
gerardsans argues most of what OpenAI published (math proofs) was rushed and vibe-based, with little field checking and missing formal verification — like a friend sending a 50-page ChatGPT session they never read. He stresses he's not anti-AI but reacting to OpenAI ignoring mediated proof publication protocols it had agreed to.
More from Companies & People
- Interview lays out the roadmap to $250K+ product builder jobs, from POWER framework to Claude Code vs Codex — aakashgupta · 2026-10-10
- Hugging Face and Intel to Kick Off Open Source AI Week in San Francisco — huggingface · 2026-10-10
- KFSHRC and MIT Hacking Medicine Launch 3-Day Health Innovation Hackathon — _areej · 2026-10-10
- CS PhD Student Says OpenAI Deactivated ChatGPT Account on False Flag, Appeal Denied — xwang_lk · 2026-10-10
- Meta Muse daily downloads are a meaningless metric, argues analyst with 3B-user distribution — RihardJarc · 2026-10-10
- UC Berkeley Opens Four Computational Biomedicine Faculty Positions with UCSF — anshulkundaje · 2026-10-10