最新更新。

普特南（Putnam），全球最艱難的本科數學競賽，於昨天太平洋時間下午4點結束。 在下午3:58，AxiomProver @axiommathai 自動解決了 Putnam2025 中的 8/12 題目，使用的是 100% 可驗證的語言 Lean。 去年，我們的得分將是約 4000 名參賽者中的第 4 名，並且成為普特南獎學金得主（近年來前 10 名）。

將學生培養成合作者是美好的。 哈迪爵士對拉馬努金說。 小野教授對我說。 現在，Axiom @axiommathai 的一群最優秀的數學家與我們的 AI 一起。 我們所研究的 Thue 方程在黑板上。我們的論文是傳統計算協助模組形式、橢圓曲線和 K3 表面的發現的一個例子。