انٹروپک کے کلائوڈ اے آئی نے فرمات کے نظریے کا ثبوت پیش کر دیا

مصنوعی ذہانت کے شعبے میں ایک بڑی پیش رفت کرتے ہوئے معروف کمپنی انٹروپک (Anthropic) نے اپنے جدید ترین اے آئی ماڈل 'کلائوڈ' (Claude) کی مدد سے ریاضی کے ایک انتہائی پیچیدہ اور مشہور مسئلے، جسے فرمات کا آخری نظریہ (Fermat's Last Theorem) کہا جاتا ہے، کا کمپیوٹر سے تصدیق شدہ ثبوت تیار کر لیا ہے۔ کمپنی کی جانب سے اس دل چسپ اور اہم ترین پروجیکٹ کی تفصیلات ایک بلاگ پوسٹ میں شائع کی گئی ہیں، جس میں بتایا گیا ہے کہ کس طرح جدید ترین مصنوعی ذہانت کو ریاضیاتی تحقیق میں کامیابی کے ساتھ استعمال کیا جا سکتا ہے۔ ریاضی کی دنیا میں 'ثبوت' سے مراد دلائل کا ایک ایسا مربوط سلسلہ ہوتا ہے جو کسی بھی سائنسی یا ریاضیاتی فرضیے کی مکمل اور اٹل تصدیق کرتا ہے۔ صدیوں پرانے ریاضیاتی مسائل کو حل کرنا اور ان کے درست ہونے کا باقاعدہ کمپیوٹر سے تصدیق شدہ ریکارڈ بنانا انتہائی محنت طلب اور مشکل کام سمجھا جاتا ہے۔ انٹروپک کے ماہرین نے اس بات کا مظاہرہ کیا ہے کہ کلائوڈ اے آئی نہ صرف عام فہم زبان کو سمجھ سکتا ہے بلکہ وہ اعصابی سطح کی پیچیدہ منطقی گتھیوں اور ریاضیاتی حسابات کو بھی درست انداز میں ترتیب دے سکتا ہے۔ ماہرین کے مطابق اس کامیابی سے سائنسی تحقیق اور تعلیمی میدان میں اے آئی کے استعمال کے نئے دروازے کھل گئے ہیں۔ روایتی طور پر اے آئی ماڈلز پر مشکوک ہونے یا غلط معلومات فراہم کرنے کے الزامات لگتے رہے ہیں، تاہم کمپیوٹر سے تصدیق شدہ (Computer-verifiable) ثبوت کی فراہمی اس بات کی ضمانت دیتی ہے کہ اے آئی کا فراہم کردہ حل سو فیصد درست اور منطقی اصولوں پر مبنی ہے۔ اس پراجیکٹ کی کامیابی سے یہ امید پیدا ہو گئی ہے کہ آنے والے وقتوں میں سائنس دان پیچیدہ ترین نظریات کو سلجھانے کے لیے مصنوعی ذہانت پر مزید بھروسہ کر سکیں گے۔ ٹیکنالوجی اور ریاضی کے حلقوں میں اس خبر کو انتہائی تحسین کی نگاہ سے دیکھا جا رہا ہے۔ انٹروپک کا یہ اقدام ثابت کرتا ہے کہ اے آئی اب صرف متن لکھنے یا چیٹ کرنے تک محدود نہیں رہی بلکہ یہ انسانی عقل کے شانہ بشانہ کھڑے ہو کر کائنات کے رازوں اور سائنس کے ان سلجھے مسائل کو حل کرنے کی صلاحیت بھی رکھتی ہے جو اب تک ناممکن سمجھے جاتے تھے۔