OpenAI模型贡献234项数学成果，远超DeepMind
haider1 · x · 2026-08-04
数据显示，AI在数学领域的进展十分显著。目前，OpenAI的模型已在追踪列表中贡献了234项数学成果，其中129项已在Lean中被正式验证。
相比之下，Google DeepMind的贡献仅为27项，这一悬殊差距令人意外。
所属事件:AI数学解题能力爆发已解决312道难题(2 条相关)→
「模型」频道最新
- 传 OpenAI 将发 Astra 模型，主打多智能体协同 — thesaraharminta · 2026-08-04
- 实测 Qwen3.8-Max:开源模型在 Agent 任务已逼近闭源前沿 — dair_ai · 2026-08-04
- 推测 Kimi K3 达 2.8T 参数，或由更小的 Opus 蒸馏 — gabriberton · 2026-08-04
- 专家24小时复现OpenAI数学成果,Astra被指非质变 — Gary Marcus · 2026-08-04
- 实测吐槽：Claude 3.5 Sonnet 与 Opus 做幻灯片效果极差 — nathanbenaich · 2026-08-04
- Kimi K3 架构解析：如何突破 MoE 规模极限 — AndLukyane · 2026-08-04