AI نے بین الاقوامی ریاضی اولمپیاڈ کے سوالات کیسے حل کیے اور گولڈ میڈل جیتا۔

ایک مصنوعی ذہانت کے ماڈل کو بین الاقوامی ریاضی اولمپیاڈ (IMO) کے سوالات کو ایک حقیقی ریاضی کے طالب علم کی طرح حل کرنے کی تربیت دی گئی ہے۔ یہ نہ صرف درست جواب فراہم کرتا ہے بلکہ گولڈ میڈلسٹ کی طرح قدم بہ قدم حل بھی لکھتا ہے۔

AI ماڈل بین الاقوامی ریاضی اولمپیاڈ (IMO) کے سوالات حل کرتا ہے۔

AI اب نہ صرف عام ریاضی کے مسائل حل کر سکتا ہے بلکہ بین الاقوامی ریاضی اولمپیاڈ (IMO) کو بھی پاس کر سکتا ہے۔ 2025 میں بین الاقوامی ماہرین کے ذریعے منعقد کیے گئے ایک سمولیشن مقابلے میں، DeepMind کے AlphaMath ماڈل نے ایک بہترین اسکور حاصل کیا اور سونے کا تمغہ جیتا۔

AI ماڈل نے سمولیشن ریاضی اولمپیاڈ میں بہترین اسکور حاصل کیا۔

ایک نیا مصنوعی ذہانت کا ماڈل AlphaMath ، جسے DeepMind نے OpenAI کی ایک تحقیقی ٹیم کے تعاون سے تیار کیا ہے، نے حال ہی میں بین الاقوامی ریاضیاتی اولمپیاڈ (IMO) سمولیشن امتحان میں بہترین اسکور حاصل کیا ہے۔

یہ پہلا موقع نہیں ہے جب AI نے کسی پیچیدہ مسئلے کو حل کیا ہو، لیکن یہ پہلا موقع ہے جب کوئی نظام استدلال کے منطقی سلسلے کو اتنا واضح اور مربوط طریقے سے انجام دینے میں کامیاب ہوا ہے جیسا کہ ایک حقیقی مدمقابل سونے کا تمغہ جیتنے کی وجہ سے ہوگا۔

AlphaMath پروگرامنگ الجبرا طرز کے مسائل حل کرنے کی تکنیکوں کا استعمال نہیں کرتا ہے جیسے Wolfram Alpha، اور نہ ہی یہ مکمل طور پر موجودہ زبان کے ماڈلز کی طرح اگلے لفظ کی پیشن گوئی پر انحصار کرتا ہے۔ اس کے بجائے، یہ گہرے عصبی نیٹ ورکس اور علامتی منطق کے امتزاج پر انحصار کرتا ہے — ایک نقطہ نظر جسے نیورو علامتی استدلال کہا جاتا ہے۔

اس کی بدولت، الفا میتھ فطری زبان میں بیان کردہ مسائل کو سمجھ سکتا ہے، انہیں درست منطقی مراحل میں تحلیل کر سکتا ہے، اور پھر مکمل حل کو ریاضیاتی ثبوت کے طور پر پیش کر سکتا ہے۔

AlphaMath کے ڈیزائن کے بارے میں قابل ذکر بات یہ ہے کہ یہ ماڈل کو نہ صرف درست حلوں پر بلکہ لاکھوں غلط حلوں کے ساتھ ساتھ غلطیوں کو درست کرنے کے اقدامات پر بھی تربیت دیتا ہے۔ یہ عمل نظام کو منطقی غلطیوں کا پتہ لگانے، مفروضوں کی معقولیت کا جائزہ لینے اور ہر قدم پر حل کی سمت کو ایڈجسٹ کرنے میں مدد کرتا ہے۔

یہ "میمورائزنگ پیٹرن" سے "ساختہ تنقیدی سوچ" سیکھنے کی طرف ایک تبدیلی ہے، جس سے ماڈل کو نہ صرف صحیح طریقے سے حل کرنے میں مدد ملتی ہے بلکہ ایک پیشہ ور ریاضی دان کی طرح استدلال کے عمل کو کنٹرول کرنے میں بھی مدد ملتی ہے۔

جب نقلی IMO امتحان کے ساتھ تجربہ کیا گیا تو، AlphaMath نے خود مسئلہ کا تجزیہ کرنے، مفروضوں کو دوبارہ قائم کرنے، نقطہ نظر تجویز کرنے، اپنے حل پر تنقید کرنے، اور آخر میں فارمولوں کے ساتھ متن میں حل پیش کرنے کی صلاحیت کا مظاہرہ کیا، جیسا کہ حقیقی IMO مقابلہ کرنے والے اکثر کرتے ہیں۔

یہ پہلا موقع ہے جب کسی AI سسٹم نے نہ صرف جواب تلاش کیا ہے بلکہ استدلال کے عمل کو اس قدر مکمل اور یقین کے ساتھ دوبارہ پیش کیا ہے کہ اسے حقیقی ہاتھ سے لکھے ہوئے امتحان کی طرح درجہ بندی کیا جا سکتا ہے۔

استدلال AI کا عروج: ریاضی کے حل سے لے کر نالج ڈیزائن تک

AlphaMath کی کامیابی نہ صرف ریاضی میں AI کی نئی صلاحیتوں کو ظاہر کرتی ہے، بلکہ کمپیوٹر کی انتہائی ساختی علمی جگہوں تک رسائی کی صلاحیت کو بھی بڑھاتی ہے جو پہلے صرف انسانوں کے لیے دستیاب تھیں۔

مسائل کو سمجھنے، منطق کا تجزیہ کرنے، ثبوت بنانے اور خود کی عکاسی کرنے کے قابل ہونا بتاتا ہے کہ AI رسمی علم میں ہیرا پھیری کرنے کی صلاحیت کے قریب تر ہو رہا ہے، جو کہ مصنوعی ذہانت کے بڑے چیلنجوں میں سے ایک ہے۔

AlphaMath روایتی ڈیجیٹل کمپیوٹر کی طرح کام نہیں کرتا ہے۔ ماڈل قدرتی زبان کو سمجھتا ہے اور اسے منظم ریاضیاتی استدلال کے ڈھانچے بنانے کے لیے استعمال کرتا ہے۔

یہ ایک قدم آگے ہے جو مصنوعی ذہانت کو نہ صرف پڑھنے اور جواب دینے کی اجازت دے گا بلکہ اس کے اپنے قابل تصدیق سوچ کے نظام کو بھی بنائے گا۔ جب استدلال کو ماڈل اور خودکار بنایا جاتا ہے تو ، AI نہ صرف انسانوں کو جوابات تلاش کرنے میں مدد کرے گا، بلکہ پروگرامنگ میں غلطیوں کا پتہ لگانے، نظریات کو ثابت کرنے، مائیکرو چپس کو ڈیزائن کرنے، یا نظریاتی طبیعیات کی تحقیق میں بھی کردار ادا کر سکتا ہے۔

منفرد بات یہ ہے کہ AlphaMath صرف ریاضی کے فارمولوں کو بطور ان پٹ پراسیس نہیں کرتا، بلکہ تحریری مسئلہ کی تفصیل کے ساتھ بھی براہ راست کام کرتا ہے، بالکل اسی طرح جیسے کوئی طالب علم امتحان دیتا ہے اور سوچنا شروع کرتا ہے۔ یہ AI اور تعلیمی شعبوں کے درمیان ایک اعلی سطحی باہمی تعاون پیدا کرتا ہے، جہاں زبان اور استدلال بنیادی ٹولز ہیں، نہ کہ خالص حساب کتاب۔

اگرچہ AlphaMath ابھی تک نئے مسائل پیدا نہیں کر سکتا یا تخلیقی ریاضیاتی تصورات دریافت نہیں کر سکتا ، جن کے لیے انسانی وجدان اور تجربے کی ضرورت ہوتی ہے، لیکن نقلی IMO امتحان میں اس کا کامل سکور اس بات کا واضح اشارہ ہے کہ AI اب نہ صرف جواب دینے کے، بلکہ منظم طریقے سے استدلال کرنے کے نئے مرحلے میں داخل ہو رہا ہے۔

اور یہ خصوصی AI کی آنے والی نسلوں کی بنیاد ہے، جہاں منطق اب انسانی استحقاق نہیں ہے۔

واپس موضوع پر

Tuan Vi

ماخذ: https://tuoitre.vn/ai-giai-de-olympic-toan-quoc-te-the-nao-ma-gianh-huy-chuong-vang-20250725180121618.htm