世界で最も難しい学部数学コンテスト、プットナムは昨日午後4時(太平洋時間)に終了しました。 午後3時58分までに、AxiomProver@axiommathai Putnam2025の8/12を100%検証可能な言語であるLeanで自律的に解きました。 昨年は、スコアが#4/4000点とプットナムフェロー(近年トップ10)でした。