اینٹروپک نے حال ہی میں اعلان کیا کہ اس کا کلاڈ AI نے 11 دن میں فارمیل طور پر فرما کے آخری نظریہ کا ثبوت پیش کیا، جس میں تقریباً 13 ملین لائنز کوڈ تیار کیا گیا جو ہر لائن کے لحاظ سے مشین کے ذریعے تصدیق کی جا سکتی ہے، اور یہ ثبوت ریاضیدان کیوین بزارد نے تصدیق کر لیا ہے۔ اس کام کو دہائیوں کلاڈ ایجینٹس نے متوازی طور پر آگے بڑھایا، جنہوں نے پینگ تیان کے گروپ نے تیار کردہ تعاونی ٹول Prove2Me کا استعمال کیا، جس سے ریل ٹائم ٹاسک لسٹ کے ذریعے تقسیمِ کام کو منظم کیا گیا؛ ثبوت میں تقریباً 7 فیصد لائنز پہلے کی غلط کوششوں سے آئیں، اور فارمیلائزیشن کے لیے Lean زبان استعمال کی گئی، جس سے ہر منطقی قدم کو کمپیوٹر کے ذریعے چیک کیا جا سکتا ہے۔
xiyuبانٹیں
ذریعہ:اصل دکھائیں۔
اعلان دستبرداری: اس صفحہ پر معلومات تیسرے فریق سے حاصل کی گئی ہوں گی اور یہ ضروری نہیں کہ KuCoin کے خیالات یا خیالات کی عکاسی کرے۔ یہ مواد کسی بھی قسم کی نمائندگی یا وارنٹی کے بغیر صرف عام معلوماتی مقاصد کے لیے فراہم کیا گیا ہے، اور نہ ہی اسے مالی یا سرمایہ کاری کے مشورے کے طور پر سمجھا جائے گا۔ KuCoin کسی غلطی یا کوتاہی کے لیے، یا اس معلومات کے استعمال کے نتیجے میں کسی بھی نتائج کے لیے ذمہ دار نہیں ہوگا۔
ڈیجیٹل اثاثوں میں سرمایہ کاری خطرناک ہو سکتی ہے۔ براہ کرم اپنے مالی حالات کی بنیاد پر کسی پروڈکٹ کے خطرات اور اپنے خطرے کی برداشت کا بغور جائزہ لیں۔ مزید معلومات کے لیے، براہ کرم ہماری استعمال کی شرائط اور خطرے کا انکشاف دیکھیں۔