کیا AI نے $1 ملین نیویئر-سٹاکس مسئلہ حل کر لیا؟ اوپن اے آئی کے ثبوت کا اصل مطلب کیا ہے
26 ستمبر، 2026 کو، مصنوعی ذہانت لیبارٹری OpenAI نے علمی دنیا میں ہلچل مچا دی جب اعلان کیا کہ ایک اندر کا متعدد ایجینٹ AI سسٹم نے 3D نیویر-سٹاکس وجود اور چکنائی کے مسئلے کا 166 صفحات پر مشتمل Lean-تائید شدہ ثبوت تیار کر لیا ہے — جو کہ کلے ریاضیاتی انسٹیٹیوٹ کے ذریعہ قائم کیے گئے سات $1 ملین ملینیم انعامات کے مسائل میں سے ایک، صدی پرانا چیلنج ہے۔
اعلان نے فوری تنقید کا باعث بنایا، جس سے ڈیٹا کی خفیہ کاری، اکادمیک ترجیح، اور بنیادی تحقیق میں مشینی ذہانت کا اصل کردار پر شدید بحثوں کا آغاز ہوا۔
-
مرکزی کامیابی: اوپن اے آئی نے 88 گھنٹوں میں 10,000 متعدد ایجینٹ سویرمز کا استعمال کرتے ہوئے ایک 166 صفحات کا رسمی ثبوت تیار کیا، جس میں 3D غیر قابلِ س compressible فلوڈ مساوات میں نرم خارجی فورس کے تحت محدود وقت میں بلو اپ (منفرد نقطہ) کو ظاہر کیا گیا۔
-
تصدیق: ثبوت کو 17 گھنٹے تک Lean تھیورم پروور کے ذریعے ریاضیاتی طور پر تصدیق کیا گیا، جس سے منطقی غلطیاں یا AI کے خیالات ختم ہو گئے۔
-
انعام کی حیثیت: $1 ملین میلنیم انعام اب تک باقاعدگی سے نہیں دیا گیا ہے؛ کلے ریاضیاتی انسٹی ٹیوٹ (CMI) کو معاونت کی جانچ کے لیے ایک جائزہ شدہ شائع کردہ تحریر اور دو سال کا تصدیق کا دورہ ضروری ہے۔ اوپنای آئی نے انعام کی رقم کا دعویٰ نہیں کیا۔
-
اخلاقی تنازع: ریاضیدان تریسٹن بکمسٹر اور لینٹ ایلپوگ نے OpenAI پر الزام لگایا کہ اس نے اپنے ایجنسز کو ہدایت دینے کے لیے نجی چیٹ لاگز اور اپ لوڈ کیے گئے مسودوں کا استعمال کیا، جس سے ڈیٹا کی خفیہ رکھنے اور اکادمک ترجیحات پر عالمی بحث شروع ہو گئی۔
-
انسانی قابلیت کو سمجھنا: جبکہ فارمل منطق کی تصدیق کر لی گئی ہے، لیکن AI کی طرف سے تیار کیا گیا ثبوت ایک "بلیک باک" کے طور پر کام کرتا ہے جس میں انسانوں کو یہ سمجھنے میں مدد نہیں ملتی کہ بلو اپ کیوں ہوتا ہے۔
ای آئی متعدد ایجینٹ سویرم نے ایک نرم باہری طاقت کے تحت 3D غیر دھلائی جانے والے فلود مساوات کے لیے محدود وقت کے اندر بلو اپ قائم کیا، جس سے ثابت ہوا کہ فلود کی رفتار محدود وقت کے اندر بے حد بڑھ سکتی ہے جبکہ کل فزیکل توانائی محدود رہتی ہے۔
نیویئر-سٹوکس مساوات، جنہیں 19ویں صدی میں کلود-لوئی نیویئر اور جارج گیبریل سٹوکس نے ترتیب دیا، منصوبہ بندی کرتی ہیں کہ مائع اور گیس کیسے حرکت کرتے ہیں۔ دہائیوں تک ریاضیدانوں نے سوال کیا ہے کہ کیا نرم، فزیکلی منطقی شروعاتی حالتیں کبھی "منفرد نقطہ" یا "انفجار" کی طرف جا سکتی ہیں—ایک ایسا نقطہ جہاں فلود کی رفتار لامتناہی ہو جائے۔
اوپن اے آئی نے 88 گھنٹوں کے دوران تقریباً 10,000 خودمختار AI ایجنٹس کو одно وقت چلایا۔ ان ایجنٹس نے 2.7 ملین سے زیادہ پیغامات کا تبادلہ کیا اور ایک گھومتے ہوئے، کشیدہ فلویڈ وارٹیکس کا ریاضیاتی ماڈل بنانے کے لیے 130 ارب آؤٹ پٹ ٹوکنز تیار کیے۔ ممکنہ AI ہالوسینیشنز سے بچنے کے لیے، تخلیق کردہ منطق کو لین میں ترجمہ کیا گیا، جو ایک خودکار تعاملی ثبوت پرکنے والا ہے، جس نے تقریباً 17 گھنٹوں تک مرحلہ وار استدلال کی تصدیق کی۔
تحقیقی ٹیموں کے ذریعہ جاری کردہ ٹیکنیکل خصوصیات کے مطابق، ثبوت چارلز فیفرمن کے کلے ریاضیاتی انسٹیٹیوٹ کے لیے موجودہ عہدے کی مخصوص شرائط (خاص طور پر متبادل C اور D) کو پورا کرتا ہے۔
| میٹرک / پیرامیٹر | اوپن اے آئی متعدد ایجینٹ ثبوت仕様 |
| عمل کا وقت | 88 گھنٹے متعدد ایجینٹ کلسٹرز پر |
| ایجنٹ سکیل | تقریباً 10,000 одно وقتی خودمختار AI ایجینٹس |
| پیغام کا جمع | 2.7 ملین اندری میسجز؛ 130 ارب ٹوکنز |
| فورمل ویریفیکیشن | 17 گھنٹے Lean Interactive Theorem Prover کے ذریعے |
| مرکزی نتیجہ | نرم باہری فورس کے تحت محدود وقت کی تکرار کو ظاہر کرتا ہے |
1 ملین ڈالر کا میلینیم انعام اب تک باضابطہ طور پر نہیں دیا گیا کیونکہ کلے ریاضیاتی انسٹی ٹیوٹ کسی بھی حل کو تسلیم کرنے سے پہلے سخت متعدد سالہ ادارتی جائزہ کا عمل لازمی قرار دیتا ہے۔
کلے ریاضیاتی انسٹی ٹیوٹ (CMI) ہر پیش کی گئی حل کو بین الاقوامی شہرت رکھنے والے پیئر ریویوڈ ریاضیاتی جرنل میں شائع ہونے کی ضرورت ہے، جس کے بعد ایک لازمی دو سالہ عوامی انتظار کا دور ہوتا ہے۔ اس دوران، وسیع سائنسی برادری کو ثبوت کا مکمل جائزہ لینا اور اسے قبول کرنا ہوگا۔ تاہم، تاہم، CMI اب بھی نیویر-سٹاکس کے وجود اور نرمی کے مسئلے کو کھلا درج کر رہا ہے۔
اس کے علاوہ، OpenAI نے علناً اعلان کیا ہے کہ اس کا مقصد $1 ملین انعام کی رقم کا دعویٰ کرنا نہیں ہے، بلکہ بڑے پیمانے پر ایجنٹ ریزننگ کی صلاحیتوں کو ثابت کرنا ہے۔ واحد ملینیم انعام کا مسئلہ جسے آفیشل طور پر حل شدہ قرار دیا گیا ہے، وہ پوانکیرے کنجیکچر ہے، جسے روسی ریاضیدان گریگوری پیرلمین نے 2003 میں حل کیا (جو اس انعام کو مسترد بھی کر چکے ہیں)۔
یا دریافت نے شدید مخالفت کا باعث بنی کیونکہ الزام لگایا گیا کہ OpenAI کا سسٹم ریاضیدانوں کے ذریعہ اپ لوڈ کیے گئے اور ڈیٹا ٹریننگ سے انکار کرنے والے غیر تسلیم شدہ انسانی تحقیق پر منحصر تھا۔
اوپن اے آئی کے اعلان سے تقریباً 12 گھنٹے پہلے، نیو یارک یونیورسٹی کے ریاضیدان ترستان بکمسٹر نے ایک بیان جاری کیا جس میں انہوں نے اینثروپک سے منسلک ریاضیدان لینٹ ایلپوگ کے ساتھ اپنا کام تفصیل سے بیان کیا۔ یہ جوڑا ایک سال سے زائد عرصہ تک ترکیبی تکنیکوں کو ترقی دینے میں مصروف رہا جو فلود مساوات میں بلو اپ کو ثابت کرنے کے لیے تھیں — خاص طور پر آئلر مساوات، جو فلود ڈائنانمکس کے ایک قریبی متعلقہ طبقہ ہیں۔
| جدلیہ پہلو | اہم دعوے اور ثبوت | اوپن اے آئی کا افسانوی موقف |
| ڈیٹا کا ماخذ | انسانی تحقیق کاروں نے فلوئڈ سینگولرٹیز کی تلاش کے دوران پرائیویٹ ڈرافٹس اور پرامپٹس کو ChatGPT/Codex پر اپ لوڈ کیا۔ | دعاوی ہے کہ کوئی بھی ملازم یا ایجینٹ صارفین کے مسودوں کو براہ راست نہیں پڑھتا یا ایکسس کنٹرولز کا خلاف ورزی نہیں کرتا۔ |
| "ڈونٹ ٹرین" آپٹ آؤٹس | محققین نے تربیت سے انکار کر دیا، لیکن تصورات کو بیک اینڈ تکرار میں جانے کا الزام لگایا جاتا ہے۔ | اس نے تسلیم کیا کہ "مصنوعات کے استعمال سے حاصل کی گئی غیر شناخت شدہ ڈیٹا نے ماڈلز کو بہتر بنانے میں مدد کی ہو سکتی ہے۔" |
| سائنسی ترجیح | اوپن اے آئی نے انسانی پیش رفت کے بارے میں علم حاصل کرنے کے بعد ایک متوازی ثبوت کو بریو فورس کرنے کے لیے 10,000 ایجنٹس شروع کیے۔ | کامیابی کو خودمختار متعدد ایجینٹ ریزننگ کی ایک مستقل کامیابی کے طور پر پیش کرتا ہے۔ |
بک ماسٹر اور الپوگی نے خاص درمیانی حدسیات کا امتحان لینے اور کوڈ روطینز لکھنے کے لیے OpenAI کے ٹولز، جن میں Codex اور ChatGPT شamil ہیں، کا استعمال کیا۔ جبکہ OpenAI نے انکار کیا کہ ان کے عملہ یا AI ایجنسز نے ذاتی اکاؤنٹ فائلز تک براہ راست رسائی حاصل کی، کمپنی کے ترجمانوں نے مزید بیانات میں تسلیم کیا کہ وہ اس امکان کو مستبعد نہیں کر سکتے کہ صارفین کے تعاملات سے نکالی گئی غیر شناخت شدہ ڈیٹا نے بیک اینڈ ماڈل اپڈیٹس کو متاثر کیا ہو۔
اس اعتراف نے اکادمیک برادری کے بڑے حصے میں شدید احتجاج کا باعث بنی۔ علما میں سے مشہور شخصیات، جن میں فیلڈز میڈل فاتح تیرنس ٹاؤ بھی شامل ہیں، نے نوٹ کیا کہ یہ واقعہ ایک بڑھتی ہوئی تنازع کو ظاہر کرتا ہے: انفرادی محققین جو کٹنگ ایج آئی ڈیاز کو کمرشل AI پلیٹ فارمز میں ڈالتے ہیں، شاید غیر جانبدارانہ طور پر بڑے کمپوٹ کے وسائل والے ٹیک کمپنیوں کو تیزی سے موازی نتائج کو فارملائز کرنے اور شائع کرنے کی اجازت دے رہے ہوں۔
کمپیوٹر تصدیق شدہ رسمی ثبوت، جیسے کہ لین کے سافٹ ویئر کے ذریعے، منطقی درستگی کو یقینی بناتے ہیں، لیکن وہ اکثر ایسے جذباتی تصوراتی فریم ورکس سے محروم ہوتے ہیں جن پر انسانی ریاضیدان اپنے شعبے کو آگے بڑھانے کے لیے انحصار کرتے ہیں۔
انسانی طور پر لکھے گئے روایتی ریاضیاتی ثبوت دو مقاصد کے لیے کام کرتے ہیں: یہ تصدیق کرنا کہ ایک بیان ریاضیاتی طور پر سچا ہے اور یہ وضاحت کرنا کہ وہ کیوں سچا ہے۔ انسانی طور پر لکھے گئے ثبوت عام تصوراتی پل، خوبصورت فریم ورک اور دوبارہ استعمال کیے جانے والے طریقے پیش کرتے ہیں جو متعلقہ شعبوں میں مستقبل کی دریافتوں کو متاثر کرتے ہیں۔
اس کے برعکس، ایک AI سسٹم جو 88 گھنٹے کا متعدد ایجینٹ رن انجام دیتا ہے، وہ ملیونوں شاخوں پر بروٹ فورس تلاش پر منحصر ہوتا ہے۔ نتیجہ میں ملنے والا 166 صفحات پر مشتمل دستاویز—جسے Lean کے مرکزی انجن نے قدم بہ قدم فارملی تصدیق کیا ہے—ایک "بلیک باکس" کے طور پر کام کرتا ہے۔ یہ تصدیق کرتا ہے کہ ریاضیاتی شرائط پوری ہوتی ہیں، لیکن انسانی ریاضیدانوں کے لیے عام اصولوں یا تعلیمی خیالات نکالنے میں بے حد مشکل ہوتا ہے۔
-
فُرمل وریفیکیشن: کوڈ میں بنیادی اقدامات کے اندر صفر منطقی خلا، ٹائپو، یا پوشیدہ ساختی غلطیوں کو یقینی بناتا ہے۔
-
انسانی قابلیت: واضح تعلیمی بیان کی کمی کی وجہ سے وسیع ساختی خیالات کا انسانی تجزیہ بہت سست ہو جاتا ہے۔
-
جنرلائزایبلٹی: مخصوص منفرد حدی شرط کو حل کر سکتا ہے بغیر اس کے کہ غیر جبری Navier-Stokes سسٹمز پر قابلِ اطلاق براہِ راست تکنیکیں فراہم کرے۔
ایک نظری ثبوت جو ریاضیاتی بلو اپ کو ظاہر کرتا ہے، فوری طور پر عملی انجینئرنگ ماڈلز کو تبدیل نہیں کرتا، کیونکہ عددی تقریبیں پہلے سے ہی заطبی فزکس میں فلڈ ٹربولنس کو ہینڈل کرتی ہیں۔
نیویئر-سٹوکس مساوات کو موسمی پیٹرنز کی مدلنگ، سمندری جہاز کے ہل کو بہتر بنانے، ہائپر سونک کے طیاروں کی ڈیزائننگ، اور دل کے خون کے بہاؤ کی شبیہ سازی کے لیے عالمی صنعتوں میں وسیع پیمانے پر استعمال کیا جاتا ہے۔ عملی заастعمال میں، انجینئرز محفوظ فزیکل حدود کے اندر کام کرنے والی ڈسکریٹائزڈ کمپیوٹر سیمولیشنز استعمال کرتے ہیں۔
جو ریاضیاتی مساوات ظاہر کرتی ہیں کہ خاص نرم باہری طاقتوں کے تحت لامحدود تیزی کا اچانک اضافہ ہوتا ہے، وہ جگہ ظاہر کرتی ہیں جہاں مسلسل فلود میکانکس کے ماڈل انتہائی اٹمک سcales پر خراب ہو جاتے ہیں۔ یہ نظریاتی فزیسٹس کو درست حدود فراہم کرتا ہے جب تک کلاسیکل فلود مسلسل فرضیات لاگو نہیں ہوتیں، جس سے مسلسل میکانکس اور مولیکولر ڈائنامکس کو ملا کر بہتر ہائبرڈ ماڈلز کے لیے راستہ ہموار ہوتا ہے۔
کوکائن پر مصنوعی ذہانت کے نریٹیو سائیکلز سے جڑے کرپٹو ٹوکنز ٹریڈ کرنے سے سپیکولیٹو ٹیک مومنٹم تک مائع رسائی حاصل ہوتی ہے، لیکن مارکیٹ کے اتار چڑھاؤ کے باعث سخت جوکھم کا انتظام ضروری ہے۔
جب بڑے صنعتی ذہانت کے اہم مilestone عالمی خبروں میں آتے ہیں، تو AI سے متعلق کرپٹو اثاثے اور ڈی سینٹرلائزڈ کمپیوٹ نیٹ ورکس کا ٹریڈنگ والیوم بڑھ جاتا ہے۔ KuCoin جیسے پلیٹ فارمز پر، ٹریڈرز عام طور پر AI ٹوکنز، ڈی سینٹرلائزڈ GPU نیٹ ورکس، اور مکین لرننگ انفراسٹرکچر کے ساتھ تقاطع کرنے والے ڈیٹا-سورینٹی پروٹوکولز کا جائزہ لیتے ہیں۔
-
نقدینگی اور مارکیٹ تک رسائی: کوکائن صارفین کو نمٹنے والے مارکیٹ ٹرینڈز کا فائدہ اٹھانے کے لیے AI-نیٹریٹ ٹوکنز کی وسیع تعداد تک رسائی فراہم کرتا ہے۔
-
ڈیٹا خفیہ رکھنے کے پروٹوکولز: صارف کے پرامپٹ کی خفیہ رکھنے کے بارے میں جاری بحث غیر مرکزی AI منصوبوں میں دلچسپی کے بڑھتے ہوئے جذبے کو ظاہر کرتی ہے جو خفیہ رکھنے والی حساب کتاب اور صفر علم ڈیٹا تصدیق پر زور دیتے ہیں۔
-
اٹار چڑھاؤ کا انتظام: بڑی ٹیک نیوز سائکلز کے ارد گرد جو خیالی ٹریڈنگ ہوتی ہے، اس میں تیزی سے قیمت کے اتار چڑھاؤ شامل ہوتے ہیں؛ سپاٹ، فیوچرز اور الگورتھمک ٹریڈنگ بوٹس کا استعمال کرنے سے ایکزیکیشن ریسک کو کم کرنے میں مدد ملتی ہے۔
AI موضوعی ڈیجیٹل اثاثوں کا جائزہ لینے اور پورٹ فولیو کی نمائندگی کو منظم کرنے کے لیے، صارفین عرفی KuCoin ٹریڈنگ پلیٹ فارم پر براہ راست اکاؤنٹ درج کر سکتے ہیں۔
مارکیٹ کی خبریں تیزی سے تبدیل ہوتی ہیں — لیکن آپ اس پر جہاں عمل کرتے ہیں، وہ بھی اتنی ہی اہمیت رکھتا ہے۔ اس اکتوبر میں، کوکائن کوکائن 5.0 لانچ کرے گا، جس سے کوکائن ایک نئے سرے سے تعمیر شدہ پلیٹ فارم میں تبدیل ہو جائے گا۔ آپ کے لیے اصل میں کیا چینج ہو رہا ہے:
-
ہر چیز کے لیے ایک اکاؤنٹ۔ پرانے پلیٹ فارمز آپ کے پیسے کو الگ الگ "اسپاٹ"، "مارجن"، اور "فیوچرز" اکاؤنٹس میں تقسیم کرتے تھے اور آپ سے یہ سمجھنے کی توقع کرتے تھے کہ کیوں۔ KuCoin 5.0 کا یونیفائیڈ اکاؤنٹ اس پورے نظام کو ختم کر دیتا ہے — ایک بار ڈپازٹ کریں، اور سب کچھ آسانی سے دستیاب ہو جائے گا۔
-
اسٹاکس، انڈیسز، اور کمودیٹیز۔ KuCoin 5.0 کرپٹو سے آگے نکل کر عالمی مارکیٹس میں داخل ہو گیا۔ جب کرپٹو پہلے کی طرح چل رہا ہو اور ایکویٹیز میں اضافہ ہو (یا اس کے برعکس)، تو آپ فیاٹ ریلز کے لیے برُوکر اکاؤنٹ کھولنے اور دنوں کا انتظار کرنے کے بجائے منٹوں میں رُٹیٹ کر سکتے ہیں۔
-
حقیقی دنیا کے اثاثے (RWA)۔ روایتی اثاثوں جیسے کہ کمرشلز کے لیے ٹوکنائزڈ ایکسپوژر، آپ کے کریپٹو اکاؤنٹ کے اندر۔ عالمی فنانس کا ایک سب سے تیزی سے بڑھ رہا شعبہ اب صرف اداروں کے لیے محدود نہیں — آپ اس تک اپنے ہی ٹریڈنگ بیلنس سے رسائی حاصل کرتے ہیں۔
-
سیکھتے ہوئے کمائیں۔ ٹریڈ کرنے کے لیے تیار نہیں؟ KCUSD آپ کے اسٹیبل کوائن کو روزانہ خودکار منافع بڑھانے والی سود فراہم کرتا ہے۔ 4 فیصد منافع کے لیے اپنے بے کار ڈپازٹ کو کام پر لگانے کا سب سے کم تنش والے طریقہ۔
-
ایک سادہ زبان میں AI اسسٹنٹ۔ سوالات پوچھیں، مارکیٹ کا حوالہ حاصل کریں، اور آپ جو دیکھ رہے ہیں اسے سمجھیں — پلیٹ فارم میں گھلے ملے، کوئی ٹیکنیکل الفاظ کی ضرورت نہیں۔
-
ایک ایسا ایپ جو زیادہ بوجھ نہ ڈالے۔ تیز، صاف اور مسلسل — پہلے ٹیپ سے ہی آسان، ٹیوٹوریل کے بعد نہیں۔
-
حفاظت جو آپ چیک کر سکتے ہیں، صرف اعتماد نہیں کرتے۔ ایک MiCAR لائسنس یافتہ یورپی ادارہ، Proof of Reserves جو آپ خود تصدیق کر سکتے ہیں، اور بین الاقوامی طور پر سرٹیفائیڈ سیکورٹی (SOC 2 Type II، ISO 27001:2022)۔
کچھ منٹوں میں اپنا اکاؤنٹ بنائیں — اور اس پلیٹ فارم پر شروع کریں جو کرپٹو کے مستقبل کے لیے بنایا گیا ہے، نہ کہ جہاں یہ تھا۔
اوپن اے آئی کے متعدد ایجینٹ سسٹم نے دکھایا کہ 3D فلڈ مساوات میں نرم باہری فورس کے تحت محدود وقت کے اندر منفردیاں ظاہر ہو سکتی ہیں، جسے لین سافٹ ویئر کے ذریعے الگ طور پر تصدیق کیا گیا۔ جبکہ یہ خودکار استدلال میں ایک تاریخی ٹیکنیکل کامیابی ہے، لیکن اس حل کو کلے ریاضیاتی انسٹی ٹیوٹ نے ابھی تک تصدیق نہیں کیا ہے اور ذہنی نسبت اور ڈیٹا کے استعمال پر بڑی بحث جاری ہے۔ جبکہ AI سسٹمز سائنس اور ریاضی میں بڑے چیلنجز پر کام جاری رکھتے ہیں، مشین کمپوٹیشن اور انسانی تحقیق کی شفافیت کے درمیان سرحد عالمی ٹیک صنعتوں کے لیے مرکزی توجہ کا نقطہ بنی رہی ہے۔
نیویئر-اسٹاکس مساوات کا استعمال کس لیے کیا جاتا ہے؟
نیویئر-سٹوکس مساوات فلود کے بہاؤ کو فلود مادوں پر نیوٹن کے دوسرے قانون کو لاگو کرکے بیان کرتی ہیں۔ یہ موسمی نظاموں کی مدلنگ، طیاروں کے پنکھوں کی ڈیزائننگ، سمندری جریانوں کا تجزیہ، اور شریانوں کے ذریعہ خون کے بہاؤ کی شبیہ سازی کے لیے ضروری ہیں۔
نیویر-سٹاکس مسئلہ کو حل کرنے کے لیے $1 ملین انعام کیوں ہے؟
کلے ریاضیاتی انسٹی ٹیوٹ نے 2000 میں نیویئر-سٹوکس کے وجود اور سلیکنس مسئلہ کو جدید فزکس اور مختلف مساوات کی بنیاد پر ہونے والے سات میلنیم انعام کے مسائل میں سے ایک کے طور پر متعین کیا تاکہ بنیادی ریاضیاتی سوالات کے حل کو فروغ دیا جا سکے۔
کیا اوپن اے آئی نے $1 ملین میلنیم انعام جیتا؟
نہیں، OpenAI نے انعام نہیں جیتا۔ کلے ریاضیاتی انسٹی ٹیوٹ کسی بھی حل کو تسلیم کرنے سے پہلے متعدد سالوں کا پیئر ریویو اور عوامی تصدیق کا عمل مانگتا ہے، اور OpenAI نے صاف طور پر کہا ہے کہ وہ مالی انعام کا دعویٰ نہیں کرے گا۔
ریاضی میں لین تصدیق کیا ہے؟
لین ایک اوپن سورس انٹرایکٹو تھیورم پروور اور پروگرامنگ زبان ہے۔ یہ ہر منطقی قدم کی تصدیق کرتا ہے کہ وہ فارمل اکسیومیٹک قواعد کے سختی سے پابند ہے، جس سے ثبوت کی تصدیق میں انسانی غلطیوں کو ختم کر دیا جاتا ہے۔
کیا AI ذاتی چیٹ جی پی ٹی بات چیت کا استعمال تحقیقی مسائل حل کرنے کے لیے کر سکتا ہے؟
ای آئی کمپنیاں اپنی شرائطِ خدمت میں ڈیٹا کے استعمال کی پالیسیاں متعین کرتی ہیں، جس سے صارفین ماڈل ٹریننگ سے باہر نکل سکتے ہیں۔ تاہم، ٹیک فرمز تسلیم کرتے ہیں کہ شناخت کے خاتمے والے یا مجموعی مصنوعات کے ٹیلیمیٹری کا استعمال وقت کے ساتھ عام بیک اینڈ ماڈل میں بہتری کا باعث بن سکتا ہے۔
ڈس کلیمر: یہ صفحہ آپ کی سہولت کے لیے AI ٹیکنالوجی کا استعمال کرتے ہوئے ترجمہ کیا گیا ہے۔ سب سے درست معلومات کے لیے، اصل انگلش ورژن سے رجوع کریں۔