统计显示OpenAI模型在数学成果认可度上大幅领先DeepMind

最新统计数据表明，OpenAI 模型在 234 项追踪的数学成果中获得认可，其中 129 项已在 Lean 中得到正式验证，而 Google DeepMind 仅获得 27 项认可。这一悬殊的数据对比直观反映了 OpenAI 在数学推理与形式化验证领域的显著领先优势，进一步凸显了其与竞争对手在特定能力上的差距。