Axiom，一家成立七个月的初创公司，已取得一项重大里程碑，成功解答了著名的普特南本科数学竞赛中的12道题，得分8/12。这一成就使其AI系统比其他报道的AI系统更接近顶尖人类的表现。Axiom的CEO Carina Hong强调，虽然编码能力正在迅速发展，但通过其开源的AXLE Lean工具包等工具进行形式化验证，对于扩展和巩固AI的卓越性至关重要，从而超越非正式证明和统计奖励。 AI
影响 展示了AI在复杂推理和形式化证明生成方面日益增长的能力，将界限推向了当前编码模型之外。
排序理由 AI系统在困难的人类竞赛中取得了显著的基准测试结果。
在 Latent Space (podcast video) 阅读 →
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
