ChatGPT helps resolve 30-year-old stable forking conjecture in logic
Dr_Singularity · x · 2026-09-03
Researchers used ChatGPT to find a counterexample disproving the stable forking conjecture, a major open problem in model theory dating back to 1996. The author had asked model theorist friends in July about major open problems in logic, and both named this one — now resolved with AI assistance.
Related event: ChatGPT Helps Disprove 30-Year-Old Stable Forking Conjecture(3 posts)→
More from Models
- Models can detect read-only probes with just last-two-layer SFT — Sauers_ · 2026-10-18
- Paying Google AI subscriber blocked: custom-domain Workspace accounts can't access AI Studio — ChrisRackauckas · 2026-10-18
- Running Ling 3.1 Flash (560B MoE, 25B Active) Across 4 DGX Sparks via llama.cpp RPC — BerryBlush_Rogers691 · 2026-10-18
- Users press OpenAI on long-delayed Adult Mode a year after it was promised — ___Patrice___ · 2026-10-18
- Polymarket opens betting market on who releases the next Gemini Argon model — Polymarket · 2026-10-18
- Grok matter-of-factly lists which groups user was racist against, exempting Africans and Latin Americans — teortaxesTex · 2026-10-18