Mathematician Praises GPT 5.6 Sol's Proof Capabilities
AlexKontorovich · x · 2026-07-19
Alex Kontorovich shared thoughts from Thomas F. Bloom, stating that GPT 5.6 Sol is currently one of the most interesting new models in terms of "mathematical flavor."
He noted that the new proof claims he examined in detail actually hold up, and even contain some compelling ideas.
Related event: GPT-5.6 Solves Decades-Old Math Problems, Boosting Proof Capabilities(10 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
- Claude is no longer available for minors as Anthropic rolls out age assurance — Muhammad523 · 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