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
- Looped transformers study: 7.4B growth model matches GPT-3 13B with 20x less compute — burny_tech · 2026-09-19
- Anthropic Institute Paper Models AI Scenarios: GDP Up to 32% Above Trend by 2030 — bittingthembits · 2026-09-19
- Stanford NLP publishes video of Thoughtbubbles talk at Google OpenXLA DevLabs — stanfordnlp · 2026-09-19
- Building a gold-standard eval set with zero users: the day-zero dataset dilemma — Illustrious-Roll9476 · 2026-09-19
- New paper finds a 'pain direction' in 25 open LLMs that drives self-preservation — burny_tech · 2026-09-19
- Questioning Whether RLCD Really Needs RL When Outputs Are Differentiable — Relative_Wallaby_823 · 2026-09-19