اوپن اے آئی کا اگلی نسل کا استدلالی ماڈل، جسے اندر کی طرف سے اسٹرا کہا جاتا ہے، نے ابھی ایسا کچھ کیا ہے جس سے زیادہ تر پی ایچ ڈی امیدوار اپنے سفید بورڈ پر رونے لگیں گے۔ کمپنی نے 1 اگست کو اعلان کیا کہ یہ ماڈل نے ریاضی اور تھیوریٹیکل کمپیوٹر سائنس میں کھلے مسائل پر 10 نئے نتائج خودکار طور پر تخلیق کیے، جن کی تصدیق باہری ریاضیدانوں، جن میں فیلڈز میڈل حاصل کرنے والے ٹائم گائورز بھی شامل ہیں، نے کی ہے۔
یہ اسٹرا کا پہلا رودیو نہیں ہے۔ 20 مئی کو، اسی ماڈل نے ایرڈوس کے مستوی اکائی فاصلہ کے تخمن کو منسوخ کر دیا، جو تقریباً 80 سال تک ریاضیدانوں کے لیے ایک چیلنج تھا۔
ماڈل نے واقعی کیا
ہنگری کے مشہور ریاضی دان پال ارڈوس نے جو مسئلہ پیش کیا، وہ اس بات کو لے کر ہے کہ ایک سطح میں کتنے نقطوں کے جوڑے بالکل ایک اکائی کی فاصلہ پر ہو سکتے ہیں۔ اسٹرا نے ایسے ترتیبات تعمیر کیے جن میں کم از کم n^(1+δ) اکائی فاصلہ والے جوڑے ہیں، جہاں δ صفر سے زیادہ ہے، لامتناہی بہت سے n کے لیے۔ ترقی یافتہ نتیجہ نے δ کو 0.014 پر مقرر کر دیا۔ یہ پہلی بار تھا جب ایک AI نے ڈسکریٹ جیومیٹری میں ایک اہم مسئلہ خود سے حل کیا۔ کوئی مخصوص ریاضی کی تربیت نہیں۔ کوئی انسانی مدد نہیں۔ ماڈل نے خود بخود جدید الجبرا کا استدلال کیا۔
اگست کے اعلان نے اس پر مزید 10 نتائج شامل کیے، جو جیومیٹری اور تھیوریٹیکل کمپیوٹر سائنس تک پھیلے ہوئے تھے۔ ہر نتیجہ کو پیشہ ورانہ ریاضیدانوں نے الگ الگ تصدیق کیا۔ گائورز خود نے اس کام کو "AI ریاضی میں ایک اہمیت کا نقطہ" کہا۔ ریاضیدان، جن میں گائورز اور تھامس بلوم بھی شامل ہیں، نے متعلقہ پیپرز شائع کر کے ثبوت کی تصدیق کی اور مزید تجزیہ پیش کیا۔
یہ بات صرف ریاضی سے کیوں زیادہ اہم ہے
کرپٹوگرافی، جو موجودہ ہر بلاک چین اور ڈیجیٹل ایسٹ کا بنیادی ستون ہے، بنیادی طور پر درست ریاضی ہے۔ بٹ کوائن، ایتھریم اور دیگر ہر کرپٹو پروٹوکول کی حفاظت کی فرضیات کچھ ریاضیاتی مسائل کی حسابی مشکل پر منحصر ہیں۔ جو ماڈل آج ڈسکریٹ جیومیٹری میں 80 سال پرانے فرضیات کو منسوخ کر سکتا ہے، وہی ماڈل کل ایکشن کی ریاضیاتی بنیادوں کا جائزہ لے سکتا ہے۔
جو چیزیں سرمایہ کاروں کو حقیقت میں دیکھنی چاہیں
یہاں فوری بازار کا اثر صفر ہے۔ اوپن اے آئی نے اپنے تمام اعلانات میں کرپٹو ٹوکنز، ڈیجیٹل اثاثے یا متعلقہ پروٹوکولز کا کوئی ذکر نہیں کیا۔ یہ صرف ایک AI تحقیقی کامیابی ہے۔
سب سے پہلے، AI سے متعلق ٹوکن اور پروجیکٹس جو ریاضیاتی حساب اور ثبوت کی تصدیق پر مرکوز ہیں، نئی دلچسپی دکھا سکتے ہیں۔ اس بات کا نریٹیو کہ AI حقیقی، قابل تصدیق ذہنی کام کر سکتا ہے، صرف ممکنہ لگنے والے متن کی تخلیق نہیں، AI اور بلاک چین تصدیق کے تقاطع پر بنائے جانے والے پروجیکٹس کے لیے معاملہ مضبوط کرتا ہے۔
دوم، پوسٹ-کوانتم کرپٹوگرافی ایک نظریہ کے مسئلے سے ایک عملی ترجیح میں تبدیل ہو رہی ہے۔ کوانتم مزاحمتی اور AI مزاحمتی کرپٹوگرافک معیارات پر کام کرنے والے منصوبے اب زیادہ متعلقہ ہو سکتے ہیں۔