ڈیپ سیک ایک ایسا ماڈل تیار کرتا ہے جو ریاضی کے نتائج کی خود تصدیق کر سکتا ہے۔

DeepSeek کا DeepSeekMath-V2 ماڈل کا آغاز ایک تاریخی واقعہ ہے، نہ کہ صرف ایک بہتر ریاضی AI بنانے کے بارے میں۔

ڈیپ سیک نے ایک AI ماڈل تیار کیا ہے جو نہ صرف کوڈ لکھتا ہے بلکہ خود کو درست ثابت کرتا ہے۔

DeepSeekMath-V2 نے سخت تعلیمی مقابلوں میں انسانی کامیابیوں کو پیچھے چھوڑتے ہوئے بے مثال کارکردگی کے ریکارڈ قائم کیے ہیں۔ قابل ذکر بات یہ ہے کہ ماڈل نے 2025 انٹرنیشنل میتھمیٹیکل اولمپیاڈ (IMO) میں طلائی تمغہ جیتا تھا اور پٹنم امتحان میں 118/120 کے اسکور کے ساتھ حیران رہ گیا تھا، جو انسانوں کے ذریعہ حاصل کیے گئے 90 سب سے زیادہ اسکور کے ریکارڈ کو پیچھے چھوڑ دیتا ہے۔

لیکن جو چیز واقعی اس ماڈل کو گراؤنڈ بریکنگ بناتی ہے وہ اسکور نہیں بلکہ ڈیپ سیک کی "خود تصدیق" کی خصوصیت ہے۔

ڈیپ سیک کی خود تصدیق اور غلطی کی اصلاح کا طریقہ کار

کئی سالوں سے، مصنوعی ذہانت (AI) ماڈلز اور بڑے لینگویج ماڈلز (LLMs) کو ایسے مسائل کو حل کرنے میں شدید کمزوری کا سامنا کرنا پڑا ہے جن کے لیے ریاضی جیسی مطلق منطق کی ضرورت ہوتی ہے، جو کہ "غلط استدلال لیکن درست جواب" کا رجحان ہے۔

یعنی، ماڈل تصادفی طور پر درست حتمی جواب پیدا کر سکتا ہے، لیکن انفرنس کے مراحل، فارمولوں، یا منطقی مراحل کی ترتیب جو اس نتیجے کی طرف لے جاتی ہے، غلط، نامکمل، یا فریب ہو سکتی ہے۔

سائنس، انجینئرنگ اور ریاضی کے شعبوں میں، غلط حل کے ساتھ صحیح جواب کی قطعی کوئی اہمیت نہیں ہے اور یہ AI نظام کی وشوسنییتا کو نمایاں طور پر کم کر دیتا ہے۔ DeepSeekMath-V2 کو ناقابل اعتباریت کے اس دور کو ختم کرنے کے لیے بنایا گیا تھا۔

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

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

یہ عمل IMO-ProofBench کے تشخیصی نظام کے کام کرنے کے طریقے سے بہت ملتا جلتا ہے، جہاں ایک AI دلیل پیدا کرتا ہے اور دوسرا AI اس کی تصدیق کرتا ہے۔ اس کراس چیکنگ کو اس وقت تک دہراتے ہوئے جب تک کہ دلائل کا سلسلہ مکمل طور پر ٹھوس ہونے کی تصدیق نہ ہو جائے، DeepSeekMath-V2 اس بات کو یقینی بناتا ہے کہ نہ صرف جواب درست ہے، بلکہ اس جواب کا راستہ بھی بالکل درست اور شفاف ہے۔

قابل اعتماد AI کے مستقبل کو کھولنا

خود تصدیق کرنے کے اس طریقہ کار کے مضمرات حقیقی دنیا کے AI ایپلی کیشنز کے لیے شفافیت اور اعتماد کا ایک نیا معیار قائم کر سکتے ہیں۔

مستقبل میں، اس ماڈل کو دیگر اہم شعبوں میں بھی لاگو کیا جا سکتا ہے جیسے: AI نہ صرف کوڈ لکھتا ہے بلکہ خود چیک بھی کرتا ہے اور درستگی کو ثابت کرتا ہے، جس سے سنگین غلطیوں کو کم کیا جا سکتا ہے۔

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

ہیگنگ فیس اور گٹ ہب جیسے پلیٹ فارمز پر ماڈل کے سورس کوڈ کو عوامی طور پر جاری کرنے کا DeepSeek کا فیصلہ ایک اسٹریٹجک اقدام ہے، جس سے عالمی تحقیقی برادری کو اس قابل تصدیق استنباطی اصول تک رسائی اور تعمیر کرنے کی اجازت ملتی ہے۔

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

واپس موضوع پر

مشرقی سمندر

ماخذ: https://tuoitre.vn/deepseek-phat-trien-mo-hinh-co-kha-nang-tu-kiem-chung-cac-suy-luan-trong-toan-hoc-2025113016585069.htm