بیسویں صدی کے 67ویں بین الاقوامی ریاضیاتی المپیک (IMO2026) کے نتائج جاری ہو گئے، جس میں Xiaohongshu کا بڑا ماڈل dots-note-3.0 نے تمام چھ سوالات کے درست جوابات دے کر مکمل نمبر حاصل کرکے سونے کا تمغہ جیتا۔ یہ چینی بڑے ماڈل کا پہلا IMO آفیشل سونے کا تمغہ ہے، اور گوگل Gemini کے بعد دنیا کا دوسرا ایسا بڑا ماڈل ہے جس نے یہ کارنامہ انجام دیا — اور یہ مکمل نمبر کے ساتھ، جبکہ گوگل نے پہلے صرف 5/6 سوالات کے جوابات دیے تھے۔ IMO کو بڑے ماڈلز کی ذہنی صلاحیت اور استدلال کی ٹیسٹنگ کا معیار سمجھا جاتا ہے، جہاں شرکاء کو منطقی طور پر مکمل ثبوت پیش کرنے ہوتے ہیں، جس کی سطح بہت زیادہ ہوتی ہے۔ اس بار سونے کے تمغے کے لیے حد 29 نمبر تھی، جبکہ dots-note-3.0 کو 13 نمبر زیادہ ملے۔ دونوں CMO سونے کے تمغہ جیتنے والوں نے اس کے حل کو "درست اور خوبصورت، ساخت مختصر اور منطق موزوں" قرار دیا۔ اس مکمل نمبر سے ثابت ہوتا ہے کہ Xiaohongshu میں قابل انتقال عام استدلال کی صلاحیت موجود ہے، اور بنیادی ماڈلز کے شعبے میں ایک قابل توجہ نئے کھلاڑی ظاہر ہوا ہے۔مضمون کا مصنف، ذریعہ: چھوٹی سرخ کتاب
بیسویں بین الاقوامی ریاضی کے المپیک (IMO2026) کے نتائج حال ہی میں جاری ہوئے، جن میں Xiaohongshu کا بڑا ماڈل dots-note-3.0 نے تمام چھ سوالات کے صحیح جوابات دے کر مکمل نمبر حاصل کرکے سونے کا تمغہ جیتا۔ یہ چینی بڑے ماڈل کا پہلا IMO کے افسرانی سونے کے تمغے کے لیے تصدیق شدہ کارنامہ ہے، اور گوگل Gemini کے بعد دنیا کا دوسرا ایسا بڑا ماڈل ہے جس نے یہ کارنامہ انجام دیا — اور یہ مکمل نمبر کے ساتھ، جبکہ گوگل نے پہلے صرف 5/6 سوالات کے جوابات دیے تھے۔
IMO کا مطلب بین الاقوامی ریاضیاتی آلمپیک ہے، جو سالانہ دنیا بھر کے بہترین طلبہ کو اکٹھا کرتا ہے، جن میں سے نصف جدید فیلڈز انعام یافتہ ٹیرینس تاؤ جیسے شخصیات ہیں۔ اس مقابلے کو دو دنوں میں منعقد کیا جاتا ہے، جس میں ہر دن 4.5 گھنٹے میں تین سوالات حل کرنے ہوتے ہیں، جو الجبرا، ترکیبیات، جیومیٹری اور نمبر تھیوری پر مشتمل ہوتے ہیں، جس کا ہر سوال 7 نمبر کا ہوتا ہے اور کل امتیاز 42 ہوتے ہیں۔ شرکاء کو منطقی طور پر مکمل، قابلِ جائزہ ثبوت پیش کرنے ہوتے ہیں، جو بڑے ماڈلز کے لیے بہت مشکل ہے۔
گوگل جیمینی کا IMO کا راستہ حوالہ کے طور پر لیا جا سکتا ہے: 2024 میں اپنی پہلی کوشش میں صرف 28 نمبروں کے ساتھ طلائی تمغہ حاصل کیا، اور مسائل کو Lean جیسی فارمل زبانوں میں ترجمہ کرنا پڑا، جس میں کچھ مسائل پر دنوں کا وقت لگا؛ 2025 میں جیمینی ڈیپ تھنک نے قدرتی زبان میں ایک ساتھ ثبوت پیش کیا اور 4.5 گھنٹوں میں پانچ مسائل حل کرکے سونے کا تمغہ جیتا۔ ریاضی کے مقابلے کو بڑے ماڈل کی ذہانت اور استدلال کی صلاحیت کا ٹیسٹ سمجھا جاتا ہے، اور IMO کا عام بینچ مارک سے ایک منفرد فائدہ یہ ہے — ناشناخت۔ ہر سال کے مسائل ماہرین کے ذریعہ ترتیب دیے جاتے ہیں اور سختی سے گُپ رکھے جاتے ہیں، جس سے ماڈل پہلے سے مخصوص طور پر تربیت نہیں لے سکتا، بلکہ اسے حقیقی وقت میں سمجھنا، تلاش کرنا اور سخت استدلال کرنا پڑتا ہے۔
اس بار کے IMO کے لیے سونے کے تمغہ کی حد 29 نمبر ہے، جو پچھلے سال کی 35 نمبر کی حد سے 6 نمبر کم ہے، اور پورے سوالات کا مشکل ڈھانچہ واضح طور پر پچھلے سال سے زیادہ مشکل تھا۔ 29 نمبر کا مطلب یہ ہے کہ آپ چار سوالات مکمل حل کریں اور باقی دو میں سے صرف ایک نمبر حاصل کریں تو آپ سونے کے تمغہ کے علاقے میں آ جائیں گے، جبکہ Xiaohongshu کا بڑا ماڈل dots-note-3.0 تمام سوالات صحیح حل کر گیا، لیکن سونے کے تمغہ کی حد سے اس کے درمیان 13 نمبر کا فرق ہے۔
مکمل نمبر کا حصول سب سے پہلے ایجنٹک استدلال سسٹم کی استحکام کو ثابت کرتا ہے۔ ماڈل کو قدرتی زبان کے شرط کو سمجھنا، اہم معلومات کا جائزہ لینا، درمیانی نتائج پیش کرنا، اور انہیں مکمل ثبوت کے طور پر ترتیب دینا ہوگا، اور کسی بھی غلط تشریح یا استدلال کے قدم کو جانچنے والے فوراً نوٹ کر دیں گے۔ dots-note-3.0 نے چھ مختلف قسم کے سوالات میں مسلسل مکمل نمبر حاصل کیے، جس سے یہ ظاہر ہوتا ہے کہ اس کی کارکردگی کسی ایک سوال کے اتفاقی خیال پر منحصر نہیں ہے۔ دوسرے، ماڈل نے قدرتی زبان کے ذریعے براہ راست اینڈ تو اینڈ پر عمل کیا، جس سے سوال کو سمجھنے سے لے کر جواب دینے تک ایک مکمل بند حلقوں کا تقاضا ہوتا ہے، جو اس کی منتقلی یافتہ عام استدلال صلاحیت کو ظاہر کرتا ہے۔
عملی مسائل کے حل کے دوران، dots-note-3.0 ایک ذکی ایجینٹ کے طور پر کام کرتا ہے، جو قدرتی زبان اور پائیتھن کوڈ ایکزیکشن کو ملا کر استدلال کرتا ہے اور خود کے استدلال کا جائزہ لینے کے لیے ریکرسیو سلف-تنقیدی صلاحیت کا استعمال کرتا ہے۔ سب سے حیران کن بات تیسرے سوال ہے — ایک ترکیبی کھیل کا مسئلہ۔ عام حل طریقہ اصل مسئلہ کو گراف تھیوری کے جُڑنے والے مسئلے میں تبدیل کرنا اور پھر ثابت کرنا ہے، لیکن dots-note-3.0 نے استقرائی طریقہ استعمال کیا، مسئلے کی بنیادی ترکیب کو سمجھا، اور درست استقرائی شے اور قضیہ ترتیب دیا۔
CMO سونے کے تمغہ یافتہ لیو ہانزو نے اسے "درست اور خوبصورت، مختصر اور منطقی ساخت کے ساتھ" قرار دیا، جو IMO کے جوابات میں بھی ایک سادہ اور شاندار شکل ہے۔ CMO سونے کے تمغہ یافتہ وانگ چینتونگ نے کہا کہ اس میں "سادگی اور اصل بات تک فوری پہنچ ہے، ہر قدم منطقی طور پر آگے بڑھتا ہے، لیکن انسانی مقابلہ کنندہ اس نقطہ نظر سے شروع کرنے کا خیال نہیں کر سکتا۔"
چھوٹی سرخ کتاب کے لیے، IMO میں مکمل نمبر ایک اہم ٹیکنالوجی کی پیشکش ہے۔ گزشتہ وقت تک، باہری دنیا کا ٹیکنالوجی کے بارے میں تصور صرف مواد کمیونٹی، تجاویز کے الگورتھم اور مواد کی سمجھ تک محدود تھا، جبکہ بنیادی ماڈلز کے شعبے میں اس کی موجودگی کا کوئی عوامی، اہل کار ثبوت نہیں تھا۔ IMO میں مکمل نمبر مختلف ہے — 42 نمبر وہیں پڑے ہوئے ہیں، جن کے لیے کسی پیچیدہ وضاحت کی ضرورت نہیں، اور یہ ثابت کرتا ہے کہ چھوٹی سرخ کتاب کے پاس ایک ایسا بنیادی ماڈل ہے جسے صنعت کو غور سے دیکھنا چاہیے، اور بنیادی ماڈلز کے شعبے میں ایک نئے، قابل توجہ کھلاڑی کا ظہور ہوا ہے۔ معلوم ہوا ہے کہ dots-note-3.0 جلد ہی اوپن سورس ہو جائے گا۔