ویتنامی ڈاکٹر نے AI ڈوئنگ میتھ کو اولمپک گولڈ میڈل کے برابر کرنے کا اعلان کیا۔

الفا جیومیٹری، ایک AI ٹول جو تین ویتنامی پی ایچ ڈی کے ذریعے جیومیٹری کے پیچیدہ مسائل کو حل کر سکتا ہے، کو گوگل نے بین الاقوامی ریاضی کے گولڈ میڈلسٹ کے برابر درجہ دیا ہے۔

یہ مطالعہ 17 جنوری کو 150 سال سے زیادہ قدیم سائنسی جریدے نیچر میں شائع ہوا۔

الفا جیومیٹری کے مرکزی مصنفین نیویارک یونیورسٹی سے پی ایچ ڈی گریجویٹ 29 سالہ Trinh Hoang Trieu اور 36 سالہ Luong Minh Thang ہیں، جو اسٹینفورڈ یونیورسٹی، USA سے پی ایچ ڈی ہیں۔ ٹریو اور تھانگ کے ساتھ تین دیگر سائنسدان ہیں، جن میں 42 سالہ ڈاکٹر لی ویت کووک بھی شامل ہیں، جو گوگل میں "AI جینئس" کے نام سے جانے جاتے ہیں۔ ڈاکٹر کووک اور تھانگ گوگل کے آرٹیفیشل انٹیلی جنس (AI) کے تحقیقی شعبے گوگل ڈیپ مائنڈ کے سینئر ماہرین بھی ہیں۔

بین الاقوامی ریاضی اولمپیاڈ (IMO) 2000-2022 کی مدت میں جیومیٹری کے 30 مسائل کے ساتھ، الفا جیومیٹری نے مقررہ وقت میں 25 مسائل کو حل کیا۔ دریں اثنا، ایک سابقہ ​​جدید نظام نے صرف 10 مسائل حل کیے، جبکہ ایک IMO گولڈ میڈلسٹ نے اوسطاً 25.9 مسائل کو حل کیا۔

گوگل کے مطابق، ہر اولمپیاڈ میں 6 مسائل ہوتے ہیں، جن میں عام طور پر 2 جیومیٹری کے مسائل شامل ہوتے ہیں، لہذا الفا جیومیٹری صرف 1/3 مسائل کو ہینڈل کر سکتی ہے۔ اگر ہم صرف جیومیٹری پر غور کریں تو یہ AI IMO گولڈ میڈلسٹ کی سطح کے برابر ہے۔ اور اگر ہم مسائل کی کل تعداد پر غور کریں تو یہ دنیا کا پہلا AI ماڈل ہے جو IMO 2000 اور 2015 کی کانسی کے تمغے کی حد کو عبور کر سکتا ہے۔

بہت سے AI ماہرین اور ریاضی دان اسے ایک متاثر کن نتیجہ سمجھتے ہیں۔

پروفیسر Ngo Bao Chau نے کہا، "AI محققین کے لیے IMO جیومیٹری کے مسائل پر اپنا ہاتھ آزمانا بالکل سمجھ میں آتا ہے، کیونکہ ان کا حل تلاش کرنا شطرنج کی طرح ہے، اس میں ہمارے پاس ہر قدم پر بہت کم معقول حرکتیں ہیں۔ لیکن میں پھر بھی حیران ہوں کہ وہ ایسا کر سکتے ہیں،" پروفیسر نگو باو چاؤ نے کہا۔

IMO 2025 مقابلے کا مسئلہ 3 AlphaGeometry کے ذریعے حل کیا گیا۔ تصویر: کردار کے ذریعہ فراہم کردہ

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

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

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

تینوں پی ایچ ڈیز کے مطابق اس AI کی خاص بات یہ ہے کہ ان پٹ ڈیٹا مکمل طور پر مصنوعی ہے۔ ٹریو نے کہا کہ الفا جیومیٹری اعلیٰ معیار کا ڈیٹا تیار کرتی ہے، جو انسانی حل کے ڈیٹا کی تربیت کے بغیر ایک خاص کارکردگی حاصل کرنے کے لیے کافی ہے۔ یہ وہ چیز ہے جو دوسرے AI ٹولز جیسے ChatGPT یا Gemini نہیں کر پائے ہیں۔

"سادہ لفظوں میں، الفا جیومیٹری کچھ بھی نہیں سے حل پیدا کرتی ہے۔ موجودہ AI ماڈلز دستیاب یا اسی طرح کے انسانی حل تلاش کریں گے،" ڈاکٹر تھانگ نے اشتراک کیا۔

ٹیم نے ایک نظام بھی بنایا، جس میں سسٹم 1 (تیز، خودکار، لاشعوری ردعمل) اور سسٹم 2 (سست، منطقی) ایک ساتھ مل کر شامل کیا گیا۔ یہ بالکل عام بات ہے، لیکن جب مصنوعی اعداد و شمار کے ساتھ ملایا جائے تو یہ ایک پیش رفت پیدا کرتا ہے۔

گوگل ڈیپ مائنڈ میں تین ویتنامی پی ایچ ڈی (دائیں سے بائیں): لی ویت کووک، ٹرین ہوانگ ٹریو، لوونگ من تھنگ۔ تصویر: کردار کے ذریعہ فراہم کردہ

ٹریو کو الفا جیومیٹری کا خیال 2019 میں آیا، جب وہ نیویارک یونیورسٹی میں اپنی گریجویٹ تحقیق کے لیے ایک موضوع تلاش کر رہے تھے۔

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

اصل میں Quoc Hoc Hue High School اور Ho Chi Minh City, Quoc اور Thang کے گفٹڈ ہائی سکول میں ریاضی میں تعلیم حاصل کرنے والے طلباء تیزی سے Trieu کے خیال کی طرف راغب ہوئے۔ ٹریو نے پھر گوگل ڈیپ مائنڈ میں شمولیت اختیار کی، وہاں 2021 سے کام کیا۔

جولائی 2022 تک، 10 ورژنز کے بعد، الفا جیومیٹری نے جیومیٹری کا اپنا پہلا مسئلہ حل کر لیا۔ ٹیم کی کامیابی تین ماہ بعد آئی، جب اس نے IMO میں جیومیٹری کا مسئلہ حل کیا۔

ڈاکٹر ٹریو کے مطابق، گروپ کی طرف سے بنائے گئے AI کو ایک رہنمائی کے نظام کے طور پر استعمال کیا جا سکتا ہے، جو ہائی سکول کے طلباء کو جیومیٹری سیکھنے میں مدد فراہم کرتا ہے۔

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

چن نے کہا کہ "میں یہ جاننے کے لیے متجسس تھا کہ الفا جیومیٹری اس کو کیسے حاصل کر سکی۔"

ڈاکٹر لی با خان ٹرین (درمیان) IMO 2015 میں مسئلہ نمبر 3 حل کر رہے ہیں۔ تصویر: وینڈی نگوین

ایک ماہ قبل، جب گفٹڈ ہائی اسکول واپس آئے، تو ڈاکٹر تھانگ نے ڈاکٹر لی با خان ٹرین کو آئی ایم او 2015 میں مسئلہ نمبر 3 کا AI حل بھیجا تھا۔ یہ IMO میں جیومیٹری کے سب سے مشکل مسائل میں سے ایک ہے۔ الفا جیومیٹری نے 109 مراحل کے بعد جواب دیا۔

"مسٹر ٹرین بہت متاثر ہوئے کیونکہ اس نے بہت آسان اصولوں کو استعمال کرتے ہوئے حل کیا، لیکن وہ زیادہ مطمئن نہیں تھے کیونکہ ان کے مطابق، حل میں روح، ایک خاص خوبصورتی اور ایک دوسرے سے جڑے ہونے چاہئیں،" مسٹر تھانگ نے بیان کیا۔ ڈاکٹر Trinh نے پھر الٹا طریقہ استعمال کیا، تقریباً 20-30 قدموں کے بعد نتیجہ دیا۔ مسٹر ٹرین نے 1979 کے IMO میں ایک بہترین اسکور کے ساتھ طلائی تمغہ جیتا تھا، اور وہ واحد ویتنامی شخص تھے جنہوں نے جیومیٹری کے مسئلے کے خوبصورت اور مختصر حل کے ساتھ، IMO مقابلے میں خصوصی انعام جیتا۔

ٹیم کا کہنا ہے کہ یہ الفا جیومیٹری کو بہتر بنانے کا ایک طریقہ ہو سکتا ہے۔ وہ یہ بھی امید کرتے ہیں کہ اس AI کے اگلے اقدامات انسانوں کو 7 ملینیم کے مسائل کو حل کرنے میں مدد دے سکتے ہیں۔

یہ وہی ہے جو ڈاکٹر لی ویت کووک نے ایک بار "ناممکن امکان" سمجھا تھا، کیونکہ AI ایک قدمی مسائل کو بہت اچھی طرح سے حل کر سکتا ہے، لیکن ریاضی کے مسائل میں اکثر سینکڑوں مراحل ہوتے ہیں۔

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

"کیونکہ ریاضی سائنس اور ٹیکنالوجی کی زبان ہے۔ ریاضی کرنا ان شعبوں کی ترقی کو فروغ دینے کا طریقہ ہے،" مسٹر Quoc نے کہا۔

ڈوان ہنگ

ماخذ لنک: https://vnexpress.net/tien-si-viet-cong-bo-ai-lam-toan-ngang-huy-chuong-vang-olympic-4702072.html