1/ AxiomProver 在 2025 年的 Putnam 考試中獲得了 12/12。今天我們發布了 AxiomProver 自主生成的 Lean 證明。 我們還提供了我們對這些問題的看法、證明可視化，並比較人類與 AI 的不同解題方式。充滿樂趣的數學和 Lean！ 我們的發現請參見討論串。