世界で最も難しい大学レベルの数学テスト、パットナムは昨日午後4時(太平洋時間)に終了しました。 今日の正午、AxiomProverはLeanの9/12問題を自律的に解決しました(昨日の午後3時58分(PTは8/12でした)。 昨年は約4000人の参加者中#1位、近年はプットナムフェロー(トップ5)でした