المواضيع الرائجة
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
clhong1248
آخر تحديث.
8 ديسمبر، 04:39
بوتنام، أصعب اختبار رياضيات على مستوى الجامعات في العالم، انتهى أمس عند الساعة 4 مساء من الدوام الطبيعي.
عند الظهر اليوم، حل AxiomProver مسائل 9/12 في Lean بشكل مستقل (3:58 مساء بتوقيت المحيط الهادئ أمس، وكان الوقت 8/12).
كان من المفترض أن تكون نتيجتنا #1 من بين ~4000 مشارك العام الماضي وزميل بوتنام (ضمن أفضل 5) في السنوات الأخيرة
13.84K
بوتنام، أصعب مسابقة رياضيات لمرحلة البكالوريوس في العالم، انتهت الساعة 4 مساء بتوقيت المحيط الهادئ أمس.
بحلول الساعة 3:58 مساء، @axiommathai AxiomProver حل بشكل تلقائي 8/12 من Putnam2025 بلغة لين، وهي لغة قابلة للتحقق 100٪.
في العام الماضي، كان من المفترض أن يكون تقييمنا #4 من ~4000 وزميل بوتنام (أفضل 10 في السنوات الأخيرة)
361.44K
هناك جمال في تنمية طالبك ليصبح شريكا معك.
السير هاردي إلى رامانوجان.
الأستاذ أونو بالنسبة لي.
والآن، مجموعة من ألمع علماء الرياضيات في أكسيوم @axiommathai إلى الذكاء الاصطناعي.
معادلات ثو التي عملنا عليها موجودة على اللوحة. كانت ورقتنا مثالا على الحوسبة التقليدية التي ساعدت في اكتشافات الأشكال المعيارية، والمنحنيات البيضاوية، وأسطح K3.
105.07K
الأفضل
المُتصدِّرة
التطبيقات المفضلة