🚨 الرياضيات الأولمبية + الذكاء الاصطناعي: قمنا بتشغيل Gemini 2.5 Pro من Google على مشاكل IMO 2025 الجديدة. من خلال المطالبة الدقيقة وتصميم خط الأنابيب ، تم حل 5 من أصل 6 - وهو أمر رائع للمهام التي تتطلب رؤية عميقة وإبداعا. يمكن للنموذج أن يفوز بالميدالية الذهبية! 🥇 #الذكاء الاصطناعي #Math #LLMs #IMO2025

تحققت المنظمة البحرية الدولية 🥇! فخور حقا بالمساهمة في جانب ما بعد التدريب والتفكير في هذا النموذج! الاقتراب من ASI!

الآسيويون: سنصلح الفوضى الخاصة بنا

لمحاربة الآسيويين ، تحتاج إلى آسيويين

لماذا تحتاج فرق ما قبل التدريب وما بعد التدريب إلى التوافق

يقوم فريق Grok باستيعاب عمليات البيانات البشرية (على سبيل المثال ، التوظيف لدور مدرس الذكاء الاصطناعي لليابانية). من المحتمل أن تفكر المزيد من المختبرات الحدودية في امتلاك وتشغيل عمالة البيانات.

يقوم فريق Grok باستيعاب عمليات البيانات البشرية (على سبيل المثال ، التوظيف لدور مدرس الذكاء الاصطناعي لليابانية). بالنظر إلى انتقال الذكاء الاصطناعي على نطاق واسع ، من المحتمل أن تفكر المزيد من المختبرات الحدودية في امتلاك وتشغيل عمالة البيانات.

إذا كنت في ICML ومهتما باللغة المنخفضة أو تعدد اللغات، فيرجى إلقاء التحية على @marafinkels! لقد عملنا عن كثب في الأشهر القليلة الماضية لشحن طريقة RL لإصلاح مشكلة جودة الجوزاء الحرجة. لديها أفكار بحثية رائعة أيضا! نأمل أن تبقى الجوزاء × الأكاديمية على اتصال.

منشور مدونة جديد حول عدم تناسق التحقق و "قانون المدقق": أصبح عدم تناسق التحقق - فكرة أن التحقق من بعض المهام أسهل بكثير من حلها - فكرة مهمة لأن لدينا RL يعمل أخيرا بشكل عام. من الأمثلة الرائعة على عدم تناسق التحقق أشياء مثل ألغاز سودوكو ، وكتابة الكود لموقع ويب مثل instagram ، ومشاكل BrowseComp (يستغرق ~ 100 موقع للعثور على الإجابة ، ولكن من السهل التحقق منها بمجرد حصولك على الإجابة). المهام الأخرى لها شبه تماثل في التحقق ، مثل جمع رقمين مكونة من 900 رقم أو بعض البرامج النصية لمعالجة البيانات. ومع ذلك ، فإن مهام أخرى أسهل بكثير في اقتراح حلول مجدية بدلا من التحقق منها (على سبيل المثال ، التحقق من الحقائق في مقال طويل أو ذكر نظام غذائي جديد مثل "أكل البيسون فقط"). من الأشياء المهمة التي يجب فهمه حول عدم تناسق التحقق أنه يمكنك تحسين عدم التناسق من خلال القيام ببعض الأعمال مسبقا. على سبيل المثال ، إذا كان لديك مفتاح الإجابة لمشكلة رياضية أو إذا كانت لديك حالات اختبار لمشكلة Leetcode. هذا يزيد بشكل كبير من مجموعة المشاكل المتعلقة بعدم تناسق التحقق المرغوب فيه. ينص "قانون المدقق" على أن سهولة تدريب الذكاء الاصطناعي على حل مهمة ما تتناسب مع مدى إمكانية التحقق من المهمة. سيتم حل جميع المهام التي يمكن حلها ويسهل التحقق منها بواسطة الذكاء الاصطناعي. تتناسب القدرة على تدريب الذكاء الاصطناعي على حل مهمة ما مع ما إذا كانت المهمة تحتوي على الخصائص التالية: 1. الحقيقة الموضوعية: يتفق الجميع على ماهية الحلول الجيدة 2. سريع التحقق: يمكن التحقق من أي حل معين في بضع ثوان 3. قابل للتطوير للتحقق: يمكن التحقق من العديد من الحلول في وقت واحد 4. انخفاض مستوى الضجيج: يرتبط التحقق ارتباطا وثيقا بجودة الحل قدر الإمكان 5. المكافأة المستمرة: من السهل تصنيف جودة العديد من الحلول لمشكلة واحدة أحد النماذج الواضحة لقانون المدقق هو حقيقة أن معظم المعايير المقترحة في الذكاء الاصطناعي سهلة التحقق وقد تم حلها حتى الآن. لاحظ أن جميع المعايير الشائعة تقريبا في السنوات العشر الماضية تناسب المعايير # 1-4 ؛ المعايير التي لا تفي بالمعايير # 1-4 ستكافح لتصبح شائعة. لماذا تعتبر قابلية التحقق مهمة جدا؟ يتم تعظيم مقدار التعلم في الذكاء الاصطناعي الذي يحدث عند استيفاء المعايير المذكورة أعلاه ؛ يمكنك اتخاذ الكثير من خطوات التدرج حيث تحتوي كل خطوة على الكثير من الإشارات. تعد سرعة التكرار أمرا بالغ الأهمية - وهذا هو السبب في أن التقدم في العالم الرقمي كان أسرع بكثير من التقدم في العالم المادي. يعد AlphaEvolve من Google أحد أعظم الأمثلة على الاستفادة من عدم تناسق التحقق. يركز على الإعدادات التي تناسب جميع المعايير المذكورة أعلاه ، وقد أدى إلى عدد من التطورات في الرياضيات والمجالات الأخرى. يختلف عما كنا نفعله في الذكاء الاصطناعي على مدار العقدين الماضيين ، إنه نموذج جديد حيث يتم تحسين جميع المشكلات في بيئة تكون فيها مجموعة القطارات مكافئة لمجموعة الاختبار. عدم تناسق التحقق موجود في كل مكان ومن المثير التفكير في عالم من الذكاء الخشن حيث سيتم حل أي شيء يمكننا قياسه.

العمل المؤثر الذي يمكن لأي شخص القيام به هو استخدام LLMs لتدوين ورقمنة أكبر قدر ممكن من سير العمل ، و CoTs ، والإلهام. هندسة السياق لأتمتة نفسك وزيادتها في الحياة والعمل.