المواضيع الرائجة
#
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.
Axiom
على مدى 98 عاما من تاريخ مسابقة بوتنام (منذ عام 1927)، لم تحقق سوى 5 درجات كاملة.
حصل AxiomProver على 120/120.
نحيي الطلاب المشاركين في الامتحان، ونتطلع لرؤية المزيد من الحاصلين على المراقبين البشريين المميزين!
11 يناير، 01:49
الذكاء الاصطناعي حقق للتو درجة كاملة في أصعب مسابقة رياضيات في العالم.
بوتنام يحتوي على 12 مشكلة × 10 نقاط. أعلى درجة في العام الماضي كانت 90. الوسط؟ 0. حصل مختبر الذكاء الاصطناعي من أكسيوم في Lean على تقييم 120/120 وشارك جميع الحلول.
إنجاز كبير في مجال الذكاء الاصطناعي في الرياضيات.
49
من بوتنام (إثبات النظرية الشكلية للنظرية) إلى الاكتشاف الرياضي الجديد، تعال وقدم عملا رائعا معنا في أكسيوم
12 ديسمبر 2025
الطلاب الحاليون هم الجيل الأول من العلماء الذين سيتمكنون من استخدام نماذج الذكاء الاصطناعي لمهام بحثية جوهرية ومجردة على نطاق واسع.
توقعي @a16zcrypto لعام 2026، QED:
398
الأفضل
المُتصدِّرة
التطبيقات المفضلة