ای آئی ماڈلز لمبے عرصے سے چلنے والے ریاضی کے خیالات کے لیے Counterexamples تلاش کرتے ہیں

ME AI کی خبر، ایک ڈیٹا مانیٹرنگ سروس Beating کے مطابق، Anthropic کے ریاضی دان لیونٹ الپوگے نے Claude Fable کا استعمال کرتے ہوئے جیکوبی تخمن کا تین بعدی خلاف ورزی دریافت کیا ہے۔ یہ مسئلہ 1939 سے حل نہیں ہوا ہے اور 21ویں صدی کے اہم ریاضیاتی مسائل کی فہرست میں شامل ہے۔ Fable نے ایک بہتر حد کا نقشہ دیا جس کا جیکوبین مستقل طور پر −2 ہے، لیکن یہ تین مختلف ان پٹس کو ایک ہی آؤٹ پٹ پر بھیج دیتا ہے۔ اس لیے یہ الٹ نہیں ہو سکتا، اور تین اور اس سے زیادہ بعدی ورژن کو مسترد کر دیا گیا ہے، جبکہ دو بعدی ورژن ابھی تک حل نہیں ہوا۔ بعد میں، OpenAI کے ریسرچر Aaron Lou نے اپنے اندر کے Codex کو الگ سے آزمایا۔ مدل نے انٹرنیٹ کے بغیر بھی اسی قسم کا خلاف ورزی دریافت کیا اور اس کا استدلال لکھ دیا۔ مستقبل میں، ریاضی دان شاید مختلف ماڈلز کو ایک ساتھ بہت سارے کھلے مسائل دینے لگیں۔ AI بار بار تجربہ کر سکتا ہے، خلاف ورزیوں، خامیوں اور نئے خیالات تلاش کر سکتا ہے، اور پھر علامتی حساب یا فارمل پرووف ٹولز کے ذریعے ان کی تصدیق کر سکتا ہے۔ بہت سارے اس وقت تک جن میدانوں پر کسی نے وقت صرف نہیں کیا، ان کا تفویض فوراً ہو سکتا ہے، اور سائنسی درآمد بھی واضح طور پر تیز ہو سکتی ہے۔ لیکن مسائل اس لحاظ سے خودبخود آسان نہیں ہو جائیں گے۔ ماڈلز بھی بڑھتے ہوئے مظاہر میں درست ثابت کرنے والے غلط ثبوت پیدا کر سکتے ہیں، جس سے شعبۂ علم "جواب نہ ملنا" سے "جواب کو تصدیق کرنے کا وقت نہ ملنا" تک منتقل ہو سکتا ہے۔ زیادہ بڑا خطرہ حقیقی طور پر بریک تھرو سے آتا ہے۔ RSA کا تحفظ بڑھے ہوئے عدد کو تقسیم کرنے میں مشکل پر منحصر ہے، جبکہ Diffie-Hellman اور بھنور منحنی مخفیت离散 لگارتم تلاش کرنے میں مشکل پر منحصر ہے۔ اگر AI اتنی تیز نئے الگورتھم دریافت کر لے تو وеб سائٹس کا انجمن، ڈجٹل دستخط، بینک معاملات اور بلاکچین میں استعمال ہونے والے بعض پبلک کلید نظام فوراً بند ہو سکتے ہیں، جس سے پورا عالم فوراً کرپٹوگرافک معیارات تبدیل کرنے پر مجبور ہو جائے گا۔ (ذرائع: BlockBeats)