AI系统AxiomProver自主解决12道Putnam数学题中的9道

Putnam，世界上最难的大学数学测试，于昨天太平洋时间下午4点结束。
今天中午，AxiomProver 在 Lean 中自主解决了 12 题中的 9 题（昨天太平洋时间下午3:58 时，是 8/12）。
我们的分数在去年约 4000 名参赛者中将是第一名，并且在近年是 Putnam Fellow（前5名）。