بوتنام، أصعب اختبار رياضيات على مستوى الجامعات في العالم، انتهى أمس عند الساعة 4 مساء من الدوام الطبيعي. عند الظهر اليوم، حل AxiomProver مسائل 9/12 في Lean بشكل مستقل (3:58 مساء بتوقيت المحيط الهادئ أمس، وكان الوقت 8/12). كان من المفترض أن تكون نتيجتنا #1 من بين ~4000 مشارك العام الماضي وزميل بوتنام (ضمن أفضل 5) في السنوات الأخيرة