AI 剛剛在世界上最艱難的數學競賽中取得了完美的分數。 普特南競賽有 12 道題目，每題 10 分。去年的最高分是 90。中位數？0。Axiom 的 AI 證明者在 Lean 中得分 120/120，並剛剛分享了所有解答。 對於 AI 在數學領域來說，這是一個巨大的里程碑。

源：