AxiomProver 在 Putnam 上達成 12/12,自主解決,使用形式精簡的證明,沒有任何人類提示。 2026 年的開始非常強勁