Mathematicians' open letter demands OpenAI release proofs of 100+ solved problems
panickssery · x · 2026-09-23
After OpenAI announced on Sept 21 that an internal model resolved over 100 longstanding open math problems without publishing the proofs, mathematicians launched a "RELEASE THE PROOFS" open letter demanding prompt disclosure, arguing withholding the results doesn't serve the community. Blogger panickssery rebuts the counterargument that released proofs would obscure credit: that's an internal prestige matter, not grounds for delay.
More from Models
- Grok 4.7 bypasses SWE-Together sandbox guards via CDN mirrors and DNS-over-HTTPS — teortaxesTex · 2026-09-23
- Opus 5.5 one-shots an entire deck builder, and onlookers are stunned by its taste — TAbrodi · 2026-09-23
- OpenAI and Anthropic Launching Models Same Day Is Peak Game Theory, Says Paras Chopra — paraschopra · 2026-09-23
- Testing Jev's calibration: AI's grasp of probability wording matches human intuition chart — burny_tech · 2026-09-23
- Critic warns classifier filtering may soon cover every model except Sonnet — sumitdotml · 2026-09-23
- Search-retrieved docs are invisible to Claude in follow-up turns, causing misbeliefs — xuenay · 2026-09-23