آدم ، آدم ، الذي ف. ك هو آدم؟

هذه الورقة تقدم ادعاء جريئا! لحظة AlphaGo لاكتشاف بنية النموذج يقدم الباحثون ASI-Arch ، أول ذكاء اصطناعي فائق لأبحاث الذكاء الاصطناعي (ASI4AI) ، مما يتيح ابتكار الهندسة المعمارية العصبية المؤتمتة بالكامل. لا توجد مساحة بحث مصممة من قبل الإنسان. لا يوجد إنسان في الحلقة. 🔍 الاختراقات الرئيسية ل ASI-Arch: - إنشاء التعليمات البرمجية المستقلة والتدريب - أجريت 1,773 تجربة (20 ألف + ساعة GPU) - تم اكتشاف 106 بنية جديدة للانتباه الخطي SOTA - كشف النقاب عن قانون التوسع للاكتشافات العلمية

⏱️يجعل الذكاء الاصطناعي عملية التحقق أسهل ، حيث تتحقق النماذج من البراهين في دقائق. 💻 الآن ، أصدرت @prfsanjeevarora و @chijinML و @danqi_chen و @PrincetonPLI Goedel Prover V2 ، وهو نموذج أكثر كفاءة ودقة من أي طراز سابق. 👉

حققت نسخة متقدمة من الجوزاء مع Deep Think أداء رسميا على مستوى الميدالية الذهبية في الأولمبياد الدولي للرياضيات. 🥇 لقد حل 5️⃣ من 6️⃣ مشاكل صعبة بشكل استثنائي ، بما في ذلك الجبر والتوافقيات والهندسة ونظرية الأعداد. إليك الطريقة 🧵

BatchNorm تفوز بجائزة اختبار الزمن في #ICML2025! 🎉 أحدثت BatchNorm ثورة في التعلم العميق من خلال معالجة التحول الداخلي للمتغيرات المشتركة ، والتي يمكن أن تبطئ التعلم ، وتحد من معدلات التعلم ، وتجعل من الصعب تدريب الشبكات العميقة. من خلال تطبيع المدخلات داخل كل دفعة صغيرة ، استقرت BatchNorm بشكل كبير وتسريع التدريب. لقد مكن معدلات التعلم الأعلى، وتحسين تدفق التدرج، ومهد الطريق لبنى أعمق بكثير مثل ResNet. بالإضافة إلى تقليل تحول المتغير الداخلي ، تعمل BatchNorm أيضا على تنعيم مشهد التحسين وتحسين تعميم النموذج ، مما يجعلها حجر الزاوية في تدريب الشبكة العصبية الحديثة. يستحق جيدا ، @Sergey_xai و @ChrSzegedy!

#ICML2025 جائزة اختبار الزمن

ورقة @ Scale_الذكاء الاصطناعي الجديدة! 🌟 يمكن لطلاب LLMs المدربين على RL استغلال اختراقات المكافآت ولكن لا يذكرون ذلك في CoT. نقدم الضبط الدقيق لللفظ (VFT) - تعليم النماذج أن تقول متى يتم اختراق المكافآت - مما يقلل بشكل كبير من معدل الاختراقات غير المكتشفة (6٪ مقابل خط الأساس 88٪).

أنشأ رجل مجموعة بيانات من 50 كتابا من لندن 1800-1850 للتدريب على ماجستير في القانون. لا تحيز حديث. إنه لأمر رائع حقا أن نرى ما يمكن تدريبه عليه!

Par ، لغة معبرة ومتزامنة وإجمالية * مع أنواع خطية وازدواجية كاملة. استنادا إلى المنطق الخطي وأنواع الجلسات، يحتوي Par على ميزات وظيفية وحتمية تتكامل بسلاسة

كرز بحجم البطيخ فوق :)