实体 Putnam exam

Putnam exam

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

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_69506 · Jun 3 · 19:27

Axiom AI 攻克12道普特南数学竞赛题，接近人类精英水平

Axiom公司成立于2025年，已取得一项重大里程碑，成功解答了著名的普特南大学数学竞赛中的12道题，其AI系统得分8/12。这一成就超越了其他AI系统，接近顶尖本科生的表现，凸显了AI在复杂学术挑战方面日益增长的能力。Axiom的方法被称为“Verified AI”，专注于使用Lean等工具和他们自己的AXLE工具包来形式化证明数学概念，旨在通过建立在严谨基础之上来扩展和复利智慧。