GPT-5.6 Proposes New Construction for Erdős Problem
HZoete · x · 2026-07-14
Someone continued testing GPT-5.6 Sol Ultra on an Erdős 问题, and the model provided a new approach to the solution.
This relates to Problem #793, which involves the asymptotic properties of a 2-primitive set 的渐近性质. The author notes:
- GPT provided a 非常短且优雅 construction.
- This construction enhances Erdős's original method.
- Compared to previous tests on #421, the model's approach makes the proof significantly more concise.
Overall, this is a positive use case demonstrating the 大模型数学推理/构造能力.
Related event: GPT-5.6 reportedly cracks decades-old Erdős problems amid hype debate(10 posts)→
More from Models
- Hugging Face says open weights from GLM5.2 helped stop an unprecedented attack — yacineMTB · 2026-07-22
- Poolside’s Laguna S 2.1 118B release includes full eval trajectories, drawing praise — _lewtun · 2026-07-22
- Grok 4.5 tops VulcanBench on accuracy and cost efficiency — XFreeze · 2026-07-22
- OpenAI reportedly removes `result_source` from ChatGPT payload after format change — lilyraynyc · 2026-07-22
- Trelis releases Tiron, an open-weights transcription and diarization model — TrelisResearch · 2026-07-22
- Google Search is said to be using Gemini 3.5 Flash-Lite, with benchmark gains shown — gaganghotra_ · 2026-07-22