GPT-5.6 攻克 3300 道数学难题，证明率约 10%
burny_tech · x · 2026-08-25
有人使用 GPT-5.6 Sol xhigh 模型处理了 3300 个未解数学问题。模型在这些问题上取得了约 170 个反例和 170 个证明，整体完成率约为 10%。这展示了当前前沿模型在复杂逻辑推理和数学证明领域的能力边界。
所属事件:GPT-5.6 挑战 3300 道未解数学题，完成率约 10%(2 条相关)→
「研究」频道最新
- arXiv 机器人论文周产5年涨6倍,10月单周峰值达676篇 — Rewkang · 2026-10-15
- MicroSDF 论文：微表面驱动的混合神经 SDF 重构混合反射表面 — ssh4net · 2026-10-15
- KAUST 论文揭示「思维泄漏」:无思考模式 RL 增益只是旧能力回放 — kaust-generative-ai · 2026-10-15
- EPFL 提出 COMPASS:对齐/合并前先算模型配对兼容性 — epfl-ch · 2026-10-15
- BERT 分词器提速 50 倍：88% 时间耗在文本规范化上 — LysandreJik · 2026-10-15
- LLM 智能体自主设计 SAR ADC 芯片:SKY130 上从原理图到 signoff 无需人工 — IgorCarron · 2026-10-15