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(3 posts)→
More from Models
- MOSS SFT vs Flux 3 Klein vs SD 3.0: Same-Prompt Comparison Exposes SD3's Age — ZootAllures9111 · 2026-10-18
- Quick take: GPT-6 matches Opus 5.5 at coding, far ahead at computer use — _vztu · 2026-10-18
- Open models now above Sol-level, outpacing expectations as community awaits V4.1 Pro — yacineMTB · 2026-10-18
- Codex took 3 days, Opus 5.5 nailed it in an afternoon — banned user's video protest — dotey · 2026-10-18
- Yacine MTB: Users will remember how Anthropic treated them once intelligence proliferates — yacineMTB · 2026-10-18
- Mistral's Timestral forecasting models start at 5M params and run on plain CPUs — lmoroney · 2026-10-18