PulseAugur
中
实时 23:44:23
实体 Putnam exam

Putnam exam

PulseAugur coverage of Putnam exam — every cluster mentioning Putnam exam across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. SIGNIFICANT · CL_69506 ·

    Axiom AI 解决12道普特南数学竞赛题，接近人类分数

    Axiom，一家成立七个月的初创公司，已取得一项重大里程碑，成功解答了著名的普特南本科数学竞赛中的12道题，得分8/12。这一成就使其AI系统比其他报道的AI系统更接近顶尖人类的表现。Axiom的CEO Carina Hong强调，虽然编码能力正在迅速发展，但通过其开源的AXLE Lean工具包等工具进行形式化验证，对于扩展和巩固AI的卓越性至关重要，从而超越非正式证明和统计奖励。