GPT-5.6 Sol Ultra Completes Math Proof
haider1 · x · 2026-07-11
A post claims that GPT-5.6 Sol Ultra proved the 50-year-old cycle double cover conjecture in under 1 hour using 64 sub-agents. The original poster emphasized this was achieved using a public model, not an internal OpenAI one, and promised to share the prompts and proof to encourage more users to try Ultra.
Related event: GPT-5.6 Sol Ultra Proves 50-Year Math Conjecture(17 posts)→
More from Models
- Same Echo Maze prompt, three frontier models: all passed visually but shipped the same hidden bug — eyishazyer · 2026-09-11
- Benchmark scores drop from 89% to 19% on new evals — how benchmaxxing breaks leaderboard trust — airesearch12 · 2026-09-11
- ChatGPT tells user their question is too hard and to 'accept dumber answers' — phido3000 · 2026-09-11
- Developer Building a Unified Leaderboard of All Model Benchmark Scores — airesearch12 · 2026-09-11
- Rumor claims Kimi faked performance by serving Claude; DeepSeek new model surprises in evals — realsohamparekh · 2026-09-11
- GPT-5.6 writes well but is instantly forgettable, user complains — BasedRaddka · 2026-09-11