ChatGPT Resolves Stable Forking Conjecture, Two AI Papers Within a Day
burny_tech · x · 2026-09-19
The stable forking conjecture, a major open problem in model theory, has been resolved with ChatGPT's help—remarkably, by two independent groups using AI who reached the same result within a day of each other. Another landmark for AI-assisted mathematics.
More from Research
- Amazon: RAG must move beyond factual grounding to surface diverse opinions — _reachsumit · 2026-11-04
- ShiftRAG bypasses RAG's textual bottleneck by feeding retrieval signals as soft tokens — _reachsumit · 2026-11-04
- Meta's Atomic Creator Tokens beat Semantic IDs: +19.8pt Recall@15 and 2.7x lower latency — _reachsumit · 2026-11-04
- HiGenTrans transfers LLM knowledge into generative recommenders at input, representation and decision levels — _reachsumit · 2026-11-04
- SA-OPSD distills self-teacher knowledge at beam-search pruning boundaries for generative recommendation — _reachsumit · 2026-11-04
- MV-Thinker: Multi-View Thinking with Adaptive Generation for Generative Recommendation — _reachsumit · 2026-11-04