براهين GDM جميلة! تهانينا للفريق على الجهد المثير للإعجاب.

مرح: منذ 3/4 أشهر ، ركضت o3 لبعض الأكاديميين بشأن مجموعة من المشكلات على غرار AIME. لقد استغرق الأمر وقتا طويلا لكتابة ملخص للنتائج (96٪ irrc) لدرجة أن أليكس حل الدليل و IMO في هذه الأثناء لول

مرح: منذ 3/4 أشهر ، ركضت o3 لبعض الأكاديميين بشأن مجموعة من المشكلات على غرار AIME. لقد استغرق الأمر وقتا طويلا لكتابة ملخص للنتائج (98٪) لدرجة أن أليكس حل الدليل + IMO في هذه الأثناء لول

مرح: منذ 3/4 أشهر ، قمت بتشغيل o3 لبعض الأكاديميين في مجموعة اختبار خاصة من المشكلات الشبيهة ب AIME. لقد استغرق الأمر وقتا طويلا لكتابة ملخص للنتائج (96٪) لدرجة أن أليكس حل المنظمة البحرية الدولية في هذه الأثناء.

@alexwei_ يمكنك إخبار العالم بعدد الرموز المميزة لكل مشكلة؟

لتلخيص هذا الأسبوع: - أصدرنا جهاز كمبيوتر للأغراض العامة باستخدام عامل - تعرض للضرب من قبل إنسان واحد في مسابقة AtCoder Heuristics - حل 5/6 مشاكل جديدة للمنظمة البحرية الدولية باستخدام براهين اللغة الطبيعية كل هذه تستند إلى نفس نظام التعلم المعزز الفردي

17 مترا من المراهقين الأمريكيين من الصفوف 9-12 ، ~ 5 ذهبيات IMO الأمريكية في الممارسة العملية ولكن ~ 20 طفلا على المستوى الذهبي. لذا فإن الذهب IMO هو واحد من كل مليون موهبة رياضية (لمن هم في سن 18 عاما ؛ لكنني أراهن أن بوتنام سيقع بعد ذلك أيضا). 99.9999 بالمائة.

لماذا أنا متحمس لنتائج المنظمة البحرية الدولية التي نشرناها للتو: - لقد قمنا بالقليل جدا من العمل الخاص بالمنظمة البحرية الدولية ، ونستمر فقط في تدريب النماذج العامة - جميع براهين اللغة الطبيعية - لا يوجد حزام تقييم كنا بحاجة إلى اختراق بحثي جديد وقدم @alexwei_ والفريق

إذا كنت تدعي أنك رأيت هذا قادما ، فمن الأفضل أن يكون لديك الربح والخسارة المتعددة لدعمه

لا تزال LLMs أقل من قيمتها