اسٹیفن وولفرام نے چار دہائیاں ایسے سافٹ ویئر بنانے میں گزاری ہیں جو ریاضی کو خودکار بناتا ہے، اور اب وہ خود کو اس خیال کے خلاف پیچھے ہٹتے ہوئے پاتا ہے کہ مصنوعی ذہانت کام ختم کر دے گی۔ ایک طویل مضمون بعنوان "What's the Future for pure Math Research in the Age of AI؟"، جو اس ہفتے کے آخر میں ان کے رائٹنگز بلاگ پر شائع ہوا اور ہیکر نیوز پر دوبارہ بحث شروع کر رہا ہے، ماہر طبیعیات اور وولفرم ریسرچ کے بانی نے دلیل دی ہے کہ خالص ریاضی کو AI باقی کے حوالے کرنے کا مطالبہ کیا گیا ہے، ان کے الفاظ میں، "اے آئی کی غلط فہمی اور غلط فہمی کیا ہے"۔ کرتا ہے
"شہ سرخیاں آتی رہتی ہیں: فلاں فلاں اے آئی سسٹم نے فلاں فلاں ریاضی کا مسئلہ حل کر دیا ہے،" وولفرام مضمون کے آغاز میں لکھتے ہیں۔ وہ کہتے ہیں کہ ان سرخیوں کی پیروی کیا ہے، ایک واقف نتیجہ ہے - کہ انسانی ریاضی دانوں کی مزید ضرورت نہیں رہ سکتی ہے - اور اس کی طرف سے ایسے دلائل کے ساتھ بے صبری جو اس کے اپنے شعبے کی تاریخ کو نظر انداز کرتے ہیں۔ For more context on this story, see our ongoing AI news.
ریاضی کی نظیر
Wolfram کی جوابی دلیل ذاتی تاریخ سے شروع ہوتی ہے۔ جب 1988 میں ریاضی کا آغاز ہوا، تو وہ یاد کرتے ہیں، ایسی ہی گفتگو ہوئی تھی کہ ریاضی خود کار طریقے سے بے معنی ہونے والی ہے۔ یہ اس طرح نہیں کھیلا. سافٹ ویئر نے بعض مکینیکل کاموں کی جگہ لے لی - "اگر علامتی انٹیگرلز پر کام کرنا وہی تھا جو ریاضی کے بارے میں سوچتا ہے، تو، ہاں، ریاضی نے بنیادی طور پر اس کی جگہ لے لی ہے،" وہ لکھتے ہیں - لیکن خالص ریاضی کا بنیادی حصہ، جو نظم و ضبط کی وضاحت کرتا ہے، اچھوتا تھا۔ اس کے بجائے، آٹومیشن نے ریاضی کے پریکٹیشنرز کی سطح کو بلند کر دیا۔
فرق اس لیے اہمیت رکھتا ہے کہ، وولفرام کے کھاتے میں، ریاضیاتی تکنیک کا اطلاق ریاضیاتی تحقیق جیسی چیز نہیں ہے۔ ایسے حسابات جو ایک بار کیریئر کو استعمال کرتے تھے ایک لائن کالز بن گئے، اور ریاضی دانوں نے نوکری سے باہر ہونے کی بجائے تجریدی سیڑھی کو آگے بڑھایا۔
ریاضی میں AI دراصل کس چیز کے لیے اچھا ہے۔
مضمون جدید AI کو مسترد کرنے سے بہت دور ہے۔ وولفرام اسے "بلاشبہ مفید، کبھی کبھی بہت مفید" کہتا ہے اور ریاضی میں اس کی سب سے بڑی شراکت کی نشاندہی کرتا ہے کہ وہ میدان کے جمع شدہ علم کو کم کرنے کی صلاحیت ہے۔ جہاں 1970 کی دہائی میں ایک محقق ادب کے کلیدی الفاظ کی تلاش پر انحصار کرتا تھا، وہاں جدید نظام کام کے اداروں کے درمیان رابطوں کو ظاہر کر سکتا ہے جسے کوئی انسان ذہن میں نہیں رکھ سکتا۔
"انسان معمول کے مطابق ایسا بھی کرتے ہیں،" وہ نتائج کو نئے نتائج پر جمع کرنے کے بارے میں لکھتے ہیں۔ "لیکن وہ صرف سینکڑوں کاغذات پڑھتے ہیں؛ AIs نے مؤثر طریقے سے لاکھوں پڑھے ہیں۔" غیر ہم آہنگی AI کو معلوم نتائج کے حیرت انگیز امتزاج تلاش کرنے کے لیے ایک طاقتور ساتھی بناتی ہے۔
لیکن بازیافت اور دوبارہ ملاپ، اس کا استدلال ہے، سرحد پر ایک سخت حد میں چلا جاتا ہے۔ "زبردست ریاضی - کسی بھی چیز سے زیادہ - اس کے پوچھے گئے سوالات کے ذریعہ بیان کیا جاتا ہے۔" اور سوالات، اس کے خیال میں، انسانی تخیل سے آتے ہیں۔ ایک AI خودکار کر سکتا ہے جو ریاضی دانوں کو پہلے خود کرنا پڑتا تھا۔ یہ ابھی تک فیصلہ نہیں کر سکتا کہ کیا کرنے کے قابل ہے۔
حساب سے تھیورمز پیدا ہوتے ہیں، معنی نہیں۔
مضمون کا سب سے تیز حصہ جدید AI کو خام حساب سے ممتاز کرتا ہے، یہ ایک امتیاز Wolfram 1980 کی دہائی میں سیلولر آٹو میٹا پر اپنے کام کے بعد سے ترقی کر رہا ہے۔ وہ نوٹ کرتا ہے کہ خالص حساب کتاب لامتناہی طور پر نئے نظریات پیدا کر سکتا ہے - ریاضیاتی حقائق کا ایک لامحدود سلسلہ، حیرت اور اصلیت کے ساتھ مکمل، کسی AI کی ضرورت نہیں۔ کمپیوٹیشنل irreducibility کے اس کے اپنے تصور سے یہ ظاہر ہوتا ہے کہ سادہ قواعد ایسے نتائج پیدا کر سکتے ہیں جن کی کوئی شارٹ کٹ پیش گوئی نہیں کر سکتا۔
پھر بھی اس طرح سے پیدا ہونے والے نظریات، جیسا کہ وہ کہتے ہیں، محض "کمپیوٹیشنل کائنات سے نکالے گئے نتائج" ہیں۔ جو چیز نتیجہ کو ریاضی میں بلند کرتی ہے وہ اس ڈھانچے میں اس کی جگہ ہے جو انسانوں کو بامعنی معلوم ہوتی ہے — اہمیت کے بارے میں ایک فیصلہ جو کہ کوئی نسل کا عمل فراہم نہیں کرتا ہے۔
خالص ریاضی کیوں موجود ہے؟
دلیل کا بنیادی مقصد ریاضی کا ایک انسانی ادارے کے طور پر ایک نظریہ ہے نہ کہ سچے بیانات کے ڈھیر کے۔ افلاطون اور یوکلڈ کے بعد سے، وولفرام لکھتے ہیں، خالص ریاضی تجریدی فکر کی ایک ہمیشہ سے بڑی ساخت کی تعمیر کی واضح مثال رہی ہے - "ہماری تہذیب کی تعمیر کردہ واحد سب سے بڑی فکری عمارت۔" انیسویں صدی کے تجرید کی طرف اس کے موڑ نے اسے روزمرہ کے وجدان سے الگ کر دیا، اور اس کی قدر ہمیشہ پریکٹیشنرز پر منحصر رہی ہے کہ یہ فیصلہ کرنے والے لامحدود امکانی جگہ کے کون سے حصے توجہ کے مستحق ہیں۔
وولفرام کی اپنی تحقیق نے اس سوال کو برسوں سے گھیر رکھا ہے، تمام ممکنہ محوری نظاموں کی جگہ سے لے کر نظریات کے نیٹ ورک کی محدود ساخت تک، نظم و ضبط کی وضاحت میں انسانوں کے کردار تک۔ نیا مضمون اس پس منظر کو موجودہ لمحے پر لاگو کرتا ہے: AI ریاضی کی مشقت کی معاشیات کو ڈرامائی طور پر تبدیل کرتا ہے، لیکن انٹرپرائز کی سمت - کیا ثابت کرنا ہے، کس چیز کی پرواہ کرنی ہے، پردیی کے بجائے مرکزی کے طور پر کیا شمار ہوتا ہے - انسانی وراثت بنی ہوئی ہے۔
اس میں سے کوئی بھی Wolfram کو AI شکی نہیں بناتا ہے۔ اس کی کمپنی اپنی پروڈکٹ لائن میں مشین لرننگ کو سرایت کرتی ہے۔ یہ اسے ایک عین مطابق بناتا ہے۔ اس کا نتیجہ یہ نہیں ہے کہ AI ریاضی کو اچھوتا چھوڑ دے گا، لیکن یہ کہ دلچسپ مستقبل تعاون کا ہے - مشینیں پیمانہ، بازیافت اور تصدیق کو سنبھالتی ہیں، جب کہ انسان سوالات کو اپنے پاس رکھتے ہیں۔ مضمون سے پتہ چلتا ہے کہ جب تک ریاضی کی اہمیت حساب کی بجائے فیصلے کا معاملہ ہے، ریاضی دان کی ملازمت کی تفصیل منتقلی سے بچ جاتی ہے، یہاں تک کہ ملازمت کے بارے میں تقریبا ہر چیز میں تبدیلی آتی ہے۔
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
