بوتنام، أصعب مسابقة رياضيات لمرحلة البكالوريوس في العالم، انتهت الساعة 4 مساء بتوقيت المحيط الهادئ أمس. بحلول الساعة 3:58 مساء، @axiommathai AxiomProver حل بشكل تلقائي 8/12 من Putnam2025 بلغة لين، وهي لغة قابلة للتحقق 100٪. في العام الماضي، كان من المفترض أن يكون تقييمنا #4 من ~4000 وزميل بوتنام (أفضل 10 في السنوات الأخيرة)