اوپن اے آئی نے 2026 میں ریاضی، کمپیوٹر سائنس اور فزکس میں تین سائنسی کامیابیوں کا اعلان کیا

اوپن اے آئی نے 2026 میں ریاضی، کمپیوٹر سائنس اور فزکس میں تین سائنسی کامیابیوں کا اعلان کیا

کسٹم تصویر
26 اکتوبر، 2026 کو، سائنسی سمجھ بنانے کے لیے اکیڈمک برادریوں کے ساتھ کام کرنا عنوان سے ایک تحقیقی شائعات میں، OpenAI نے اعتراف کیا کہ اس کے اندری منطقی ماڈلز نے بنیادی ریاضی، نظریاتی کمپیوٹر سائنس اور ریاضیاتی فزکس میں تین بڑے نظریاتی ثبوت پیدا کیے ہیں۔ اگر ان دریافتوں کو وسیع سائنسی برادری کی طرف سے تصدیق کر لیا جائے، تو یہ مصنوعی ذہانت میں ایک نمایاں ترقی کو ظاہر کرتے ہیں: جس میں عملی نمونہ شناسی اور کوڈ جنریشن کے بجائے متعدد مراحل کا استنتاجی استدلال اور نظریاتی دریافت شامل ہے۔
 
اس ماشینی طور پر تیار کردہ دستاویزات کو مسلسل سائنسی اتفاق رائے کے طور پر نہ لیتے ہوئے، OpenAI نے سیمونز فاؤنڈیشن کو 5 ملین ڈالر کے اہداء کے ساتھ ایک تجرباتی تصدیق فریم ورک متعارف کرایا۔ جسے وہ "اکیڈمک شیپر" کے طریقہ کار کے طور پر بیان کرتا ہے، OpenAI تین الگ الگ اعلان کے راستوں کا امتحان کر رہا ہے—جو ب без فارملائزیشن کے ساتھ براہ راست عوامی GitHub ریلیز سے لے کر شعبہ کے پایونیرز کی قیادت میں مستقل ورکنگ گروپس تک پھیلے ہوئے ہیں۔
 
تین اعلانات کے دوران، اوپن اے آئی کا دعویٰ ہے کہ ان کے ماڈلز نے ہارمونک تحلیل میں سوگے کے مقامی سموthing کے خیال کا ثبوت پیش کیا، کمپوٹیشنل کمپلیکسٹی میں ایکسپونینشل ٹائم ہائپوتھیسس (ETH) کا یقینی رد، اور چار ڈیمنشنل متعارف کرانے والے کوانتم فیلڈ تھیوریز (QFT)، جن میں کوانتم کروماتوڈائنامکس (QCD) بھی شامل ہیں، کے لیے ایک سخت ریاضیاتی وجود کا ثبوت پیش کیا۔
 
یہ تجزیہ ہر دعوے کے بنیادی اصولوں کو سادہ الفاظ میں جانچتا ہے، اس بات کو سمجھتا ہے کہ لین فارمل ویریفکیشن اور پیچیدگی کی نظریہ کرپٹو کرنسی اور ویب3 سیکیورٹی کے منظر نامے کے لیے کیوں اہم ہیں، اور آزاد اکیڈمک جائزے کی ہدایت کرنے والے گورننس اصولوں کا جائزہ لیتا ہے۔
 

breakthrough 1: ہارمونک تجزیہ اور سوگے کے لوکل سموزنگ کنjecچر

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

سادہ متن طریقہ: معاون جزئی مشتقات مساوات

اوپن اے آئی کی ٹیکنیکل ریلیز کے مطابق، جو ان کے openai/math گٹھبب ریپوزٹری میں ہے، مدل نے 18 اکتوبر، 2026 کو ایک قدرتی زبان کا ثبوت پیدا کیا، جس نے دو یا اس سے زیادہ ہر فضائی ڈائیمنشن میں فرضیہ کو حل کر لیا۔
 
روایتی جیومیٹرک کاٹنے کے طریقوں پر صرف انحصار کرنے کے بجائے، ماڈل نے ایک نیا معاون جزئی تفریقی مساوات تعمیر کی جو وقت کے ساتھ لہروں کی توانائی کے بکھرنے کا پتہ لگاتی ہے۔ توانائی کے بکھرنے کی رفتار کو محدود کرکے، دلیل لہروں کے پیکٹس کو روشنی کے مخروطوں کے ساتھ زیادہ سے زیادہ مرکوز ہونے سے روکتی ہے، جس سے پہلے سے زیادہ ابعاد کے ثبوت کو روکنے والے ٹیکنیکل رکاوٹیں حل ہو جاتی ہیں۔
 

نیچے کی طرف کا اثر: کاکیا تصور کو کھولنا

خالص ریاضی میں، سوگے کا مقامی بحالی کا خیال ایک ماسٹر کی کی طرح کام کرتا ہے جو مشہور مسائل کی ایک ہائیرارکی کے سب سے اوپر بیٹھا ہے۔ اس کا ثبوت ایک ساتھ جیومیٹرک میٹر ٹھیوری میں کئی طویل عرصے سے چلنے والے خیالات کو حل کر دیتا ہے:
 
  1. کاکیا میکسیمال اور ڈایمنشن کانجیکچر: 1917 کے ایک پہیلی سے شروع ہونے والا جس میں ایک اونٹ نیڈل کو مکمل 360 ڈگری گھمانے کے لیے درکار کم سے کم ممکنہ رقبہ دریافت کیا جا رہا تھا، اعلیٰ ڈایمنشنل کاکیا کانجیکچر کہتا ہے کہ کوئی بھی مجموعہ جس میں ہر سمت میں ایک اونٹ لائن سیگمنٹ موجود ہو، اس کا ڈایمنشن اس جگہ کے مکمل ڈایمنشن کے برابر ہونا چاہیے جس میں وہ موجود ہے۔ اوپن اے آئی دعویٰ کرتا ہے کہ اس کا مقامی اسموthing ثبوت دونوں کاکیا اور نکوڈم میکسیمال کانجیکچرز کو حل کر دیتا ہے۔
 
  1. سٹائن کے گولی پابندیوں کا اندازہ: یہ نتیجہ الیاس سٹائن کے 1970 کی دہائی میں شروع کیے گئے فوریہ پابندیوں کے اندر کے دائرے کو بھی تسلیم کرتا ہے، جو لہروں کے اُن منحنی گولی سطحوں پر کیسے رویہ کرنے کو ہدایت کرتا ہے۔
 
آزاد جانچ کی حمایت کے لیے، اوپن اے آئی نے 19 اکتوبر، 2026 کو اکتوبر 18 کے مسودہ کو لیان تھیورم پرووینگ زبان میں ترجمہ کیا اور پی ڈی ایف تحریر اور مشین چیک کے قابل لیان ثبوت دونوں کو عوام کے لیے فوری جاری کر دیا۔
 

انقلاب 2: کمپیوٹر سائنس اور ایکسپونینشل ٹائم ہائپوتھیس کی تردید

دوسرا، اور شاید سب سے زیادہ حیران کن، دعویٰ حسابی پیچیدگی کے نظریے کی بنیادوں کو ہدف بناتا ہے۔ اوپن اے آئی نے اعلان کیا کہ اس کا ماڈل نے ایکسپونینشل ٹائم ہائپوتھیس (ETH) کا رسمی انکار پیدا کیا ہے، جس میں دعویٰ کیا گیا ہے کہ یہ وسیع طور پر قبول شدہ فرض غلط ہے۔
 
راسل امپیلیازو، راماموہن پاتوری، اور فرانسس زین نے 1999 اور 2001 کے درمیان پیش کیا، ایکسپونینشل ٹائم ہائپوتھیس 3-SAT مسئلے سے متعلق ہے—ایک کلاسیکل منطقی پہیلی جہاں ایک الگورتھم یہ طے کرنے کی کوشش کرتا ہے کہ کیا بولین (سچ/غلط) سوئچز کا ایک پیچیدہ مجموعہ ہزاروں اوور لیپنگ قواعد کو پورا کر سکتا ہے۔ جیسے جیسے متغیرات (n) کی تعداد بڑھتی ہے، ممکنہ ترکیبات کی تعداد ایکسپونینشل طور پر بڑھ جاتی ہے۔
 
سادہ الفاظ میں، ETH کہتی ہے کہ بدترین صورت میں 3-SAT کے لیے کوئی حسابی مختصر راستہ نہیں ہے: کوئی بھی تعینات الگورتھم بالکل اسی طرح اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کे اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کے اسی طرح کे اسی طرح کے اسی طرح کے اسی طرح کे اسی طرح کे اسی طرح کे اسی طرح کے اسی طرح کे اسی طرح کے اسی
 

دعا کی گئی الگورتھم کیسے کام کرتا ہے

16 اکتوبر، 2026 کو، OpenAI کا اندر کا ماڈل نے ETH کا انکار پیش کیا، جسے ٹیم نے اگلے دن (17 اکتوبر) لین میں فارملائز کیا۔ مسودہ ایک ڈیٹرمنسٹک الگورتھم پیش کرتا ہے جو مخصوص عرض کے بولیئن فارمولوں کے لیے درست حل کی درست تعداد کو سب ایکسپونینشل وقت میں، صرف بہت کم میموری جگہ استعمال کرتے ہوئے گنتا ہے۔
 
یہاں، "ذیلی اسٹی exponential وقت" کا مطلب ہے کہ الگورتھم کا رن ٹائم مسئلے کے سائز میں اضافے کے ساتھ ایک معیاری اسٹی exponential منحنی کے مقابلے میں سختی سے سستی طرح سے بڑھتا ہے (خصوصاً n کو دوگنا لگارتھم n سے تقسیم کرنے پر 2 کی طاقت کے متناسب)۔ جبکہ بڑے ان پٹس کے لیے اب بھی بہت زیادہ کمپوٹیشن کی ضرورت ہوتی ہے، لیکن سختی سے اسٹی exponential سے ذیلی اسٹی exponential تک کا ریاضیاتی حد عبور ETH کو دستاویزی طور پر مسترد کرنے کے لیے کافی ہے۔
 

یہ کرپٹو کرنسی اور بلاک چین سیکورٹی کے لیے کیا سمجھا جاتا ہے؟

جب بھی حسابی پیچیدگی میں کوئی نئی کامیابی کا اعلان کیا جاتا ہے، ڈیجیٹل ایسٹس کے سرمایہ کار عام طور پر پوچھتے ہیں کہ کیا بٹ کوائن یا ethereum جیسے کرپٹوگرافک نیٹ ورکس خطرے میں ہیں۔ حتیٰ کہ اگر OpenAI کا ETH انکار مکمل طور پر تصدیق شدہ ہو، تو یہ بلاک چین کرپٹوگرافی کو تین بنیادی وجوہات کی بنا پر خطرے میں نہیں ڈالتا:
 
  • P اور NP کا رکاوٹ باقی ہے: ETH کو ناپید کرنا P = NP کا مطلب نہیں۔ سب ایکسپونینشل وقت اب بھی بہت سست ہے پولینومیل وقت کے مقابلے میں۔ علاوہ ازیں، "log log $$$$" جیسا تقسیم کنندہ اتنی سستی سے بڑھتا ہے کہ حقیقی دنیا کے مسائل کے سائز کے لیے، نظریہ کا تیزی سے حل عملی رن ٹائم میں فائدہ نہیں دیتا۔ OpenAI نے صاف طور پر نوٹ کیا کہ اس نظریہ کو عملی الگورتھمک تیزی میں تبدیل کرنے کے لیے مزید بڑی تحقیق کی ضرورت ہوگی۔
 
  • بہترین صورت کے مقابلے میں اوسط صورت کی مشکل: صرف ETH منطقی رضامندی کے مسائل کی بہترین صورت کی مشکل کو پیمانہ بنا تا ہے۔ جدید کرپٹوگرافی، جیسے بٹ کوائن کا SHA-256 ہیش یا بیضوی منحنی ڈیجیٹل دستخط (ECDSA)، اوسط صورت کی کرپٹوگرافک مشکل اور ایسے ایک طرفہ ریاضیاتی جالوں پر منحصر ہے جو SAT حل کرنے میں ننھے اسپٹوٹک تبدیلیوں کے خلاف بھی محفوظ رہتے ہیں۔
 
  • ویب3 تصدیق کے لیے ممکنہ اضافہ: بٹوری سیٹیس فی ایبلٹی (SAT) اور گنتی الگورتھمز میں نظریہ پر ترقی کا بنیادی طور پر استعمال فارمل تصدیق ٹولز کے لیے ہوتا ہے — جن کا استعمال ڈویلپرز اسمارٹ کنٹریکٹس اور زیرو-کنوز (ZK) سرکٹ کے پابندیوں کو چھپے ہوئے بگس کے لیے چیک کرنے کے لیے کرتے ہیں۔
 

ایتھ کے اصل مخلوقین کی مستقل جائزہ

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

انقلابی ترقی 3: ریاضیاتی فزکس اور 4D کوئنٹم کروماتوڈائنامکس کے وجود کا ثبوت

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

یانگ-میلز کے وجود کے مسئلے کا حل

اوپن اے آئی کے جاری کرنے کے وقت کے مطابق:
 
  • 9 ستمبر، 2026: اندرل ماڈل نے ایک قدرتی زبان کا ثبوت پیدا کیا جس نے خالص چار بعدی یانگ-ملز تھیوری کے ریاضیاتی وجود کو مستحکم کیا، جس نے مشہور کلے ریاضیاتی انسٹیٹیوٹ ملینیم انعام کے مسئلے کا وجود والے حصہ حل کیا (تاہم، صرف وجود کے ثبوت سے انعام کی مکمل "ماس گیپ" کی ضرورت خودبخود حل نہیں ہوتی)۔
 
  • 18 ستمبر، 2026: ماڈل نے تعمیر کو ممکنہ طور پر گیج فیلڈز کو شمولیت دی جو فرمیونز (جیسے کوارکس) کے ساتھ تعامل کرتے ہیں، اور دعویٰ کیا کہ وہ چار ڈیمنشنل QCD اور معیاری ماڈل کے بڑے اتحادی مکمل کردار کی ریاضیاتی موجودگی قائم کرتا ہے۔
 

نوبیل انعام یافتہ ڈیوڈ گروس کی قیادت میں جائزہ

پانچ ارکان والی فزکس پینل کی قیادت ڈیوڈ گروس کر رہے ہیں—جو QCD میں ایسیمپٹوٹک فریڈم کی دریافت کے لیے 2004 کا نوبل انعام فزکس میں شیئر کر چکے ہیں—اور مشہور ریاضیاتی فزکس دان ارتھر جیف (یانگ-ملز کے لیے آفسیل کلے ملینیم انعام مسئلہ کے مشترکہ مصنف)، مائیکل ڈگلاس، ایگور کلیبانوف، اور نکیتا نیکراسوف (2023 کے دینی ہینمن انعام کے وصول کنندہ) کے ساتھ۔ گروپ نے ابھی کے لیے خام AI مسودوں کو چھپا دیا ہے جب تک کہ وہ مستقل طور پر اس کا جائزہ لے کر اس پر تحریر نہیں کر لیتے۔
 

ایکیڈمک شیپرڈ ماڈل اور لین 4 ویریفیکیشن

تین بڑے دعوؤں کی ایک ساتھ جاری کردگی سے جدید سائنس میں ایک بڑھتی ہوئی رکاوٹ کا اظہار ہوتا ہے: جٹل AI مصنوعات تیار کرنا اب انسانی ماہرین کے ان کی تصدیق کرنے میں لگنے والے وقت کے بہت کم وقت میں ممکن ہے۔ 2026 کے اوائل اکتوبر میں، OpenAI نے 700 سے زائد تجرباتی AI تخلیق کردہ ریاضی نوٹس جاری کیے، جنہوں نے ریاضیدانوں کو متاثر کیا جو روایتی پیر ریویو کو دباؤ دینے کے خدشات کے باعث ناراض ہو گئے۔
 
غیر جانچے گئے دعوؤں کے ساتھ جرائد کو بھرنا روکنے کے لیے، OpenAI نے اپنے اکیڈمک تعاون کے لیے چار حکومتی اصولوں کا اعلان کیا:
 
حکومتی اصول مرکزی عہد تحقیق کاروں کے لیے عملی مطلب
1. شفافیت صفر عدم افشا معاہدے (NDAs) بیرونی ماہرین کام پر آزادانہ طور پر بحث کر سکتے ہیں، درمیانی نتائج شیئر کر سکتے ہیں، اور کوئی تنقید یا رد عمل آزادانہ طور پر شائع کر سکتے ہیں۔
2. کوئی اکیڈمک کریڈٹ نہیں کوئی AI یا کارپوریٹ مصنف کا دعویٰ نہیں اوپن اے آئی اپنے ماڈلز کے لیے کوئی اکیڈمک تصنیف یا ترجیح نہیں چاہتی (سپتمبر 2026 کے اپنے ملینیم انعامات کا دعویٰ نہ کرنے کے عہد کے مطابق)۔
3. تسلیم انسانی موضوح دہندگان کے لیے اعتراف اکیڈمک کام کرنے والے گروہز ان تشریحات کے لیے مکمل اعتراف حاصل کرتے ہیں اور پہلے کی انسانی تحقیق کو مناسب طور پر حوالہ دیتے ہیں۔
4. آزادی добخواہ اور بے نقاب جائزہ جائزہ کرنے والوں کو OpenAI سے کوئی ذاتی معاوضہ نہیں ملتا، جس سے ان کے نتائج کاروباری اثرات سے آزاد رہتے ہیں۔
 

لیں تصدیق کیوں اہم ہے

ریاضی (مقامی سMOOTHING) اور کمپیوٹر سائنس (ETH) کے نتائج دونوں کے لیے، OpenAI نے اپنے قدرتی زبان کے مقالات کو Lean میں فارمل ثبوت کے ساتھ جوڑا، جو ایک اوپن سورس انٹرایکٹو تھیورم پروور ہے جس کا شروع میں سمونز فاؤنڈیشن نے سہارا دیا۔
 
لیان میں، ریاضیاتی جملوں کو سخت کمپیوٹر کوڈ کے طور پر لکھا جاتا ہے۔ اگر کوئی قدم منطقی کود یا پوشیدہ خیال پر مشتمل ہو، تو کوڈ بس کمپائل نہیں ہوتا۔ تاہم، اکادمیک تبصرہ کار اہم فرق پر زور دیتے ہیں: جبکہ لیان یقینی بناتا ہے کہ ایک فارمل ثبوت اس کی تعریفوں سے منطقی طور پر نکلتا ہے، انسانی ماہرین کو ابھی بھی یہ تصدیق کرنا ہوگا کہ فارمل کوڈ اصل ریاضیاتی سوال کو درست طور پر پکڑتا ہے۔ مثال کے طور پر، 7 اکتوبر، 2026 کو، اوپنای آئی نے اپنے openai/math ریپوزٹری سے تین پچھلے مسودوں کو واپس لے لیا جب انہوں نے مسئلہ کے فارمولیشن میں نشان کی غلطی دریافت کی۔
 
یہی فارمل ویریفیکیشن ٹیکنالوجی ویب3 اور کرپٹو کرنسی صنعت کے لیے لگاتار بنیادی بن رہی ہے۔ اعلیٰ یقینی بلاک چین ایکو سسٹم، زیرو-کنولج ورچوئل مشینز (zkVMs)، اور ادارتی DeFi پروٹوکولز اسمارٹ کنٹریکٹس اور کرپٹوگرافک سرکٹس کے استعمال سے بچنے کے لیے Lean 4 جیسے انٹرایکٹو تھیورم پروورز پر انحصار کرتے ہیں۔ اگر AI ماڈلز پیچیدہ منطق کو تصدیق شدہ Lean کوڈ میں قابل اعتماد طریقے سے ترجمہ کر سکیں، تو خودکار اسمارٹ کنٹریکٹ آڈٹ اور فارمل پروٹوکول ویریفیکیشن پر نیچے کی طرف اثرات قابلِ ذکر ہو سکتے ہیں۔
 

نتیجہ

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

اکثر پوچھے جانے والے سوالات

اکتوبر 2026 میں اعلان کیے گئے 3 اوپن اے آئی سائنسی کامیابیاں کیا ہیں؟

26 اکتوبر، 2026 کو، OpenAI نے اعلان کیا کہ ان کے اندر کے ماڈلز نے تین بڑے نظریہ جاتی نتائج پیدا کیے: (1) ہر ابعاد میں Sogge کے مقامی سموthing کے خیال کا ثبوت، جس نے Kakeya خیال کو بھی حل کر دیا۔ (2) ایک ڈیٹرمنسٹک سب ایکسپونینشل الگورتھم جو کمپیوٹر سائنس میں ایکسپونینشل ٹائم ہائپوتھیسس (ETH) کو مسترد کرتا ہے۔ (3) چار ابعادی متقابل کوئنٹم فیلڈ تھیوریز، جن میں کوئنٹم کروماتوڈائنامکس (QCD) شامل ہیں، کے لیے ریاضیاتی وجود کا ثبوت۔

کیا ایکسپونینشل ٹائم ہائپوتھیس کو منکر ہونا بٹ کوائن یا کرپٹو اینکرپشن کو توڑ دیتا ہے؟

نہیں۔ یہاں تک کہ اگر ETH کی رد عمل کو مستقل کمپیوٹر سائنسدانوں نے تصدیق کر لیا ہو، تو اس سے P = NP ثابت نہیں ہوتا اور نہ ہی ایک ایسا تیز عملی سولور بن جاتا ہے جو کرپٹوگرافک کلیدوں کو توڑ سکے۔ بلاک چین ہیشنگ (SHA-256) اور ڈیجیٹل دستخط عام صورت میں کرپٹوگرافک مشکل پر منحصر ہیں، بدترین صورت 3-SAT حدود پر نہیں، اور OpenAI نے نوٹ کیا کہ اس کا نظریہ نتیجہ فوری عملی رن ٹائم تیزی نہیں دیتا۔

کیا ان AI جنریٹڈ ثبوت کی تصدیق سائنسی برادری نے کی ہے؟

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

اوپن اے آئی مستقل اکیڈمک تصدیق کا فنڈنگ کیسے کر رہا ہے؟

اپنے ادا نہ کیے گئے، NDA-free "学术 shepherd" گروہوں کے ساتھ، اوپن اے آئی نے اکتوبر 2026 میں اعلان کیے گئے اینٹھروپک کے ساتھ مشترکہ $15 ملین کے ابتدائی منصوبے کے حصے کے طور پر سمنز فاؤنڈیشن کو $5 ملین کا اضافہ کیا، جس کا مقصد سائنسدانوں کو AI جنریٹڈ ثبوت کا جائزہ لینے میں مدد کرنے والے اکیڈمک ورکشاپس، کانفرنسز اور ٹولز کو فنڈ فراہم کرنا ہے۔
 
 

ڈسکلیمر

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

ڈس کلیمر: یہ صفحہ آپ کی سہولت کے لیے AI ٹیکنالوجی کا استعمال کرتے ہوئے ترجمہ کیا گیا ہے۔ سب سے درست معلومات کے لیے، اصل انگلش ورژن سے رجوع کریں۔