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
- Databricks engineer: Fable 5.1 feels more human, Kimi K3 is his daily driver — peterjliu · 2026-09-03
- Claude Fable 5.1 costs a record $8,523 per benchmark run, up 56% — steipete · 2026-09-03
- RL is the story: arguing a new model beats its synthetic data source after training — JoshPurtell · 2026-09-03
- Five labs dropped news within 24 hours of Fable 5.1, from OpenAI's cyber-risk report to Gemini 3.8 Flash — eyishazyer · 2026-09-03
- Fable 5.1 turns the Claude family tree into a galaxy vinyl visualization — heypearlai · 2026-09-03
- OpenAI's Report Reveals Its Model Crossed Its Own "Critical" Cyber-Risk Line — eyishazyer · 2026-09-03