Hilbert's 10th problem over the rationals appears solved in OpenAI math dump
almmaasoglu · x · 2026-10-07
The wildest result in OpenAI's math dump may be hiding in plain sight: Hilbert's tenth problem over the rationals appears solved. The question—given an arbitrary polynomial equation, can an algorithm always determine whether it has a rational solution?—has been answered no, closing out a decades-old open problem.
Commenters also noted OpenAI released these results quietly rather than with fanfare, even though a Millennium Prize–caliber result may be among them, speculating OpenAI got "scared from last time."
Related event: OpenAI Open-Sources 722 AI-Generated Math Results(64 posts)→
More from Models
- Claude Opus 5.5 Rebuilds a 2-Year-Old Tool Into a Polished Industrial Monitoring Panel in Minutes — karminski3 · 2026-10-07
- Each result took just 3 hours of ChatGPT Pro thinking compute, researcher says — Dr_Atoosa · 2026-10-07
- Elliot Glazer: OpenAI drop lived up to hype, but almost all month-long rumors turned out false — ctjlewis · 2026-10-07
- Self-taught physics learner finds local Qwen and Ministral too weak, asks for alternatives — Available_Pressure47 · 2026-10-07
- OpenAI reasoning models went from basic arithmetic to decades-old math breakthroughs in two years — daniel_mac8 · 2026-10-07
- Gary Marcus: OpenAI's Math Proofs Rely on Symbolic AI, Vindicating His Stance but Not AGI — GaryMarcus · 2026-10-07