كانت مشاهدة النموذج وهو يحل مشاكل المنظمة البحرية الدولية هذه ويحقق أداء من المستوى الذهبي أمرا سحريا. بعض الأفكار 🧵

يحل النموذج هذه المشكلات بدون أدوات مثل العجاف أو الترميز ، فهو يستخدم فقط لغة طبيعية ، ولديه أيضا 4.5 ساعة فقط. نرى السبب النموذجي على مستوى عال جدا - تجربة استراتيجيات مختلفة ، وإجراء ملاحظات من الأمثلة ، واختبار الفرضية.

إنه لأمر مجنون كيف انتقلنا من 12٪ على AIME (GPT 4o) → الذهب IMO في ~ 15 شهرا. لقد قطعنا شوطا طويلا بسرعة كبيرة. لن أتفاجأ إذا كانت النماذج ستشتق نظريات جديدة بحلول العام المقبل وتساهم في أبحاث الرياضيات الأصلية!