A 30-year-old open problem in logic resolved with ChatGPT, disproving the stable forking conjecture
Dr_Singularity · x · 2026-09-03
Researchers report resolving the stable forking conjecture — a major open problem in model theory dating back 30 years — by finding a counterexample with the help of ChatGPT. The result highlights LLMs' emerging role in mathematical research.
Related event: ChatGPT Helps Disprove 30-Year-Old Stable Forking Conjecture(3 posts)→
More from Research
- Startup Mostik bridges AI models via their weights, tops ARC-AGI 3 at 1/20 the cost — nordicinst · 2026-09-03
- ByteDance's looped language models match 12B rivals at 1.4B size, with Bengio as co-author — peterjliu · 2026-09-03
- OpenAI's CoT monitorability hit: paper authors double down on 'fragile' AI safety window — GaryMarcus · 2026-09-03
- PufferLib author says retuning brings ~3x end-to-end speedup, up to 10x in some envs — yacineMTB · 2026-09-03
- Harvard Proposes Agentic Data Cracking, Cuts Unstructured QA Cost 53% on FanOutQA — Harvard · 2026-09-03
- Student runs explainable bone-lesion X-ray screener for £5/month — xrY- · 2026-09-03