RT @axiommathai: 世界で最も難しい大学レベルの数学テスト、パトナムが昨日午後 4 時 (太平洋標準時) に終了しました。 今日の正午、AxiomProver は 12 問中 9 問を解きました…