Rumored Math Breakthrough by GPT-5.6
新智元 · wechat · 2026-07-15
OpenAI officially claims that GPT-5.6 Sol Ultra proved the "Circuit Double Cover Conjecture," which has puzzled the math community for 50 years, in under an hour. The task wasn't completed by a single model alone; instead, a system of 64 concurrent agents collaborated to produce the proof, ultimately formatted into a paper with the help of Codex.
The article details this system's organization: the first round required exploring multiple completely different proof paths; a "picket line" was set up to rigorously refute each candidate proof; and it mandated specific lemmas, constructions, and equations to avoid empty talk. The author attributes this breakthrough to parallel test-time compute (TTC): breaking down long-duration reasoning into a massive concurrent search, thereby compressing an exploration that might otherwise take much longer into under an hour.
Related event: GPT-5.6 reportedly cracks decades-old Erdős problems amid hype debate(10 posts)→
More from Models
- Meta's Muse Spark 1.3 System Card Relies on Four Tübingen Benchmarks — maksym_andr · 2026-10-27
- ChatGPT Pro 500 Spotted: £445/Month Tier With Shared Weekly Usage Limits — yoimnotkesku · 2026-10-27
- Experts Clash: Today's Models Dwarf GPT-4, But Journal Delays Lock Out New LLMs — DeryaTR_ · 2026-10-27
- OpenAI's Terra release disappoints: community senses a widening lab-to-public frontier gap — ChrisGPT · 2026-10-27
- Claude spots broken physics in AI videos, fixes them with CFD and finite-element verification — OfirPress · 2026-10-27
- Meta TBD underwent pre-launch red-teaming by 5 third-party safety firms — maksym_andr · 2026-10-27