ChatGPT helps produce counterexample to 30-year-old stable forking conjecture
burny_tech · x · 2026-09-03
- Mathematicians James Freitag and Scott Mutchnik posted an arXiv paper (21 pages) using ChatGPT 5.6 to find a counterexample to the stable forking conjecture, resolving a long-standing open question by Hart, Kim and Pillay (1996).
- The poster notes both model theorists he asked in July named it a major open problem in logic, one he had failed to crack himself.
- Another landmark case of LLM-assisted progress on serious open math, though the exact extent of ChatGPT's contribution awaits scrutiny.
Related event: ChatGPT Helps Disprove 30-Year-Old Stable Forking Conjecture(2 posts)→
More from Models
- ChatGPT helps resolve 30-year-old stable forking conjecture in logic — Dr_Singularity · 2026-09-03
- Users praise Gemini 3.8 Flash: "coding is fun again" — xennygrimmato_ · 2026-09-03
- Grok Bot's Token Limits Frustrate Users; Subscriptions With All-You-Can-Eat Tiers May Win — NickPassig · 2026-09-03
- Author Burkov says Anthropic ignored his refund requests, so he cobbles together Codex and Grok — burkov · 2026-09-03
- Google launches Gemini 3.8 Flash Cyber security model alongside Fairwind Program for defenders — GoogleAI · 2026-09-03
- Matt Shumer: slow AI releases aren't a wall — safety clearance is the bottleneck, wave of frontier models imminent — mattshumer_ · 2026-09-03