ریاضی دان فرینک کیلیگری نے ٹیرینس تاؤ کے بااثر بلاگ پر دلیل دیتے ہوئے کہ مصنوعی ذہانت نے ان کے شعبے کے ساتھ کیا کیا ہے اس کا ایک دو ٹوک جائزہ شائع کیا ہے کہ 6 اکتوبر کو اوپن اے آئی کے ذریعہ 700 سے زیادہ تحقیقی مقالوں کا اجراء "ریاضی کی تاریخ میں ایک واٹرشیڈ" تھا۔ پوسٹ، جس کا عنوان "ریاضی بدل گیا ہے۔ آئیے اس کی طرح کام کریں" ہفتے کے روز اوپر گیا اور تیزی سے ہیکر نیوز کے صفحہ اول پر پہنچ گیا، جہاں اس پر سینکڑوں تبصرے ہوئے۔ مضمون کا بنیادی پیغام ریاضی دانوں کے لیے اتنا ہی چیلنج ہے جتنا کہ AI کمپنیوں کے لیے — اس تصادم کی جاری کوریج کے لیے، ہماری AI ریسرچ نیوز دیکھیں۔

کیلیگری لکھتے ہیں، "اے آئی اب بلاشبہ ریاضی کے بہت سے شعبوں میں اہم کردار ادا کرنے کے قابل ہے۔ "تو کچھ ریاضی دان اتنے ناخوش کیوں ہیں؟" اس کا جواب وہ نہیں ہے جس کی آپ AI سے پیدا ہونے والی تحقیق کے میدان کے سب سے نمایاں شکی لوگوں میں سے ایک سے توقع کر سکتے ہیں۔

کاغذات پر خود ایک دو ٹوک فیصلہ

اوپن اے آئی کی ریلیز پر کیلیگری کی تنقید دستکاری اور کمیونٹی کے اصولوں کے سوالات پر سخت ہے۔ وہ لکھتے ہیں کہ یہ کاغذات "بے رحمی سے لکھے گئے ہیں اور انتساب کی ہماری کمیونٹی کی توقعات کی خلاف ورزی کرتے ہیں۔ ان میں سے کچھ غلط بھی ہیں۔" شکایت یہ نہیں ہے کہ AI ریاضی نہیں کرسکتا - وہ عطا کرتا ہے کہ یہ کرسکتا ہے - لیکن یہ کہ وہ ریاضی کے ادب کو قابل استعمال بنانے والے معیارات کا احترام کیے بغیر ریاضی کر رہا ہے۔

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

'سب کچھ ثابت ہونے کا دعویٰ کیا گیا ہے'

مضمون میں سب سے زیادہ متاثر کن حوالہ ذاتی ہے۔ کیلیگری نے مشاہدہ کیا ہے کہ اس نے اپنے پورے کیرئیر میں جن بڑے کھلے مسائل کا عوامی طور پر ذکر کیا ہے — بات چیت، لیکچرز، آرٹیکلز، یا گرانٹ پروپوزل میں — ان میں سے کسی ایک کو بھی اس اعلان سے اچھوتا نہیں چھوڑا گیا۔ ہر چیز کے ثابت ہونے کا دعویٰ کیا گیا ہے۔

"میں نے ان میں سے کچھ کو فہرست میں دیکھنے کی توقع کی تھی،" وہ لکھتے ہیں۔ "لیکن وہ سب نہیں، سب ایک ساتھ نہیں۔ اتنی بے حسی کے ساتھ نہیں۔" ایک کام کرنے والے ریاضی دان کے لیے، آپ کے چھوئے ہوئے ہر مسئلے کو کارپوریٹ پریس کے چکر میں دیکھنے کا تجربہ اس طرح سے پریشان کن ہے کہ AI خطرے کے بارے میں تجریدی دلائل نہیں ہیں۔

متواتر جدول کیمسٹری نہیں ہے۔

Calegari اس خیال پر سختی سے پیچھے ہٹتا ہے کہ فیلڈ کے مشہور نشانات کا دعوی کرنے کا مطلب ہے کہ میدان ختم ہو گیا ہے۔ اوپن اے آئی کے کاغذات، وہ نوٹ کرتے ہیں، لینگ لینڈز پروگرام میں فعالیت اور باہمی تعاون کے عمومی مسائل پر "بمشکل ایک ڈینٹ" بناتے ہیں - جو کہ جدید نمبر تھیوری میں سب سے گہرے ڈھانچے میں سے ایک ہے۔

لیکن یہاں تک کہ اگر ریلیز نے لینگ لینڈز پروگرام میں ہر مسئلہ حل کر دیا تھا، وہ لکھتے ہیں، یہ تصور کرنا کہ "حل شدہ نمبر تھیوری" ہو گی "اتنا ہی بولی ہو گا جتنا کہ متواتر جدول کی تعمیر نے کیمسٹری کو حل کیا۔" یہ ایک دلیل ہے جو ریاضی دانوں کو عوام کے سامنے پیش کرنے کی ضرورت ہے، وہ تجویز کرتے ہیں: مرکزی مسائل محض سب سے زیادہ نظر آنے والی چوٹیاں ہیں، اور پہاڑی سلسلہ ان سے بہت آگے تک پھیلا ہوا ہے۔

گروپ تھیوری کی تاریخ سے ایک انتباہ

مضمون کا تاریخی اینکر محدود سادہ گروپوں کی درجہ بندی ہے - ایک کہانی کیلیگری اندر سے جانتا ہے۔ 1972 میں، ڈینیئل گورنسٹین نے درجہ بندی کے لیے ایک پروگرام کا اعلان کیا۔ تقریباً ایک دہائی کی شدید سرگرمی کے بعد، درجہ بندی کا 1983 میں مکمل ہونے کا اعلان کیا گیا تھا - قبل از وقت، جیسا کہ یہ نکلا، کواسیتھن گروپس کا معاملہ اس وقت تک ختم نہیں ہوا جب تک کہ اسچباکر اور اسمتھ نے اسے تقریباً دو دہائیوں بعد مکمل نہیں کیا۔

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

کیلیگری ریاضی دانوں کو کیا کرنا چاہتی ہے۔

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

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

ایک بہت بڑے حساب کا حصہ

یہ مضمون ریاضی دانوں اور اے آئی لیبز کے درمیان بڑھتے ہوئے رگڑ کے ایک سال کے درمیان آیا۔ AI Buzz Wire نے پہلے ریاضی دانوں کے بارے میں اطلاع دی ہے کہ وہ ثبوت مانگ رہے ہیں کہ OpenAI کے ماڈلز کو ان کی نجی گفتگو میں تربیت نہیں دی گئی تھی، 25 فیلڈز میڈلسٹ بشمول Terence Tao نے AI اور ریاضی کے درمیان "شدید گمراہی" کا اعلان کرتے ہوئے، انسٹی ٹیوٹ فار ایڈوانسڈ اسٹڈی کے خدشات پر، 377 کے اپنے نتائج کے بارے میں بتایا ہے۔ AI غیر قابل تجدید طور پر دنیا کے اچھے کھلے مسائل کے ذخیرے کی کان کنی کر رہا ہے۔

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

---

AI سے آگے رہیں

تازہ ترین AI خبریں، تجزیہ اور کامیابیاں حاصل کریں — سب ایک جگہ پر۔

مزید AI خبریں پڑھیں →