GPT-5-pro 成功证明数学论文未解难题
analisereal · x · 2026-08-13
随着近期大量 AI 数学能力测试结果的公布，网友回顾了 Sebastien Bubeck 在约一年前发布的惊人成果：他当时将一篇凸优化论文中的开放性问题交给 gpt-5-pro 处理，结果模型不仅成功给出了证明，而且得出的边界比原论文还要更优。Sebastien 表示自己已核验过该证明的准确性。
「模型」频道最新
- Gemini Robotics 2 展现 3D 全身泛化控制能力 — keerthanpg · 2026-08-13
- Gemini Robotics实测：人形机器人展现类人动作泛化能力 — keerthanpg · 2026-08-13
- Cohere 模型支持 MLX，可在苹果设备本地快速运行 — cohere · 2026-08-13
- LMSYS Arena推出AutoEval自动化评测模型 — arena · 2026-08-13
- Grok 4.6 实测：自动优化推理代码，吞吐量提升 3.1% — yiwenyuan98 · 2026-08-13
- Claude Code跑ARC-AGI-3拿下96.2%，几乎零特化代码 — khademinori · 2026-08-13