گرنت سندرسون: ریاضیات، اولین جاییه که ابرهوش رو میبینیم
هوش مصنوعیClaude Opus 4.8خلاصهٔ کاملتر
این نوشته متن یه گفتگوی پادکستیه بین Dwarkesh Patel و گرنت سندرسون (Grant Sanderson)، سازندهی کانال معروف 3Blue1Brown که حالا روی پروژهای برای مستند کردن پیشرفت AI تو ریاضی کار میکنه. حرف اصلی سندرسون اینه که هوش مصنوعی تو ریاضی سریعتر از هر رشتهی دیگهای جلو رفته، پس ریاضی بهطور خیلی ملموس نشونمون میده پیشرفت AI تو بقیهی دنیا چه شکلی میشه.
Dwarkesh به سؤالی برمیگرده که سه سال پیش پرسیده بود: وقتی AI بتونه تو المپیاد جهانی ریاضی (IMO) طلا بگیره، مگه این یعنی AGI؟ سندرسون اون موقع جواب داده بود که نه، فقط یه بنچمارک دیگه میشه مثل بقیه، بدون یه لحظهی «آها». به گفتهی سندرسون این درست از آب دراومد، چون مرز پیشرفت AI «تیغهتیغه» (spiky) هست و ریاضی صرفاً روی یکی از این تیغههاست.
حتی داخل خود ریاضی هم این ناهمواری ادامه داره. سندرسون میگه هندسهی IMO رو AI عملاً از ۲۰۲۴ با یه حلکنندهی brute-force تو نوزده ثانیه حل میکنه، ولی روی مسائل ترکیبیات (combinatorics) که بازیگوشتر و خلاقانهترن گیر میکنه. نکتهی جالبش اینه که اون سال اگه بهجای ترکیبیات، سؤال هندسه بیشتر بود، AI همون موقع طلا میگرفت.
بخش مهمی از گفتگو دربارهی ماهیت پیشرفتهای واقعیه. سندرسون میگه این مدلها تو یه دامنهی خاص خیلی عمیق واردن و بعد دامنهی دیگه، ولی هنوز اون «صاعقهها»یی که رشتهها رو به هم وصل کنن رو پیدا نمیکنن. مثالی که میزنه داستان هیو مونتگومری و فریمن دایسونـه: یه فرمول مربوط به صفرهای تابع زتای ریمان همون عبارتی بود که تو مطالعهی مقادیر ویژهی ماتریسهای هرمیتی تصادفی ظاهر میشد. به گفتهی سندرسون دقیقاً همین جور پل زدن بین دو حوزه، همون کاریه که انتظار داری LLMها توش خوب باشن، و اگه راهحل فرضیهی ریمان از این جنس باشه، با کار یقهسفیدی معمولی خیلی فرق داره.
اما یه احتمال دیگه هم هست: شاید راهحل به «ساختن یه کوه تازه» نیاز داشته باشه، مثل قضیهی آخر فرما که حلش به منحنیهای بیضوی و فرمهای مدولار (دو کوه بزرگ از ایدهها) تکیه داره. سندرسون میگه توانایی ساختن نظریهی تازهی درست، از جنس هوشیه که فعلاً از AI نمیبینیم، و اگه AI بتونه این کوهها رو بسازه، اون سطح از هوش احتمالاً به بقیهی اقتصاد هم سرریز میکنه.
یه ایدهی محوری اینه که سختترین کارها همونهاییان که نمیشه براشون بنچمارک ساخت. سندرسون اون نقلقول معروف رو میاره: «ریاضیدانهای خوب قضیه ثابت میکنن، ریاضیدانهای بزرگ حدس میسازن، و بزرگترینها تعریف میسازن.» به گفتهی سندرسون، ساختن حدس خوب یا تعریف تازه رو نمیشه مثل یه گل توی دروازه امتیاز داد؛ راهش سنجیدن یه «تغییر لحن» توی گفتگوی ریاضیدانهاست، نه یه سرخط خبری. اون تعریف میکنه که تو مصاحبههاشون از اواسط ۲۰۲۵ تا ۲۰۲۶ همین تغییر لحن رو دیدن.
Dwarkesh حلقهی تأیید طولانی رو پیش میکشه: مثلاً نظریهی گروه که گالوا معرفی کرد، تا صدها سال بعد که رمزنگاری و فیزیک اومدن ارزشش کاملاً روشن نشد. سندرسون با روایت مفصل داستان لاگرانژ، آبل و گالوا دربارهی حلنشدنی بودن معادلهی درجهی پنج توضیح میده که چطور یه ایدهی درست، حتی وقتی هیچ نتیجهی فوری نداره و «تابع تأییدکننده»ی زمانهش ردش میکنه، ممکنه دههها بعد به یه مفهوم بنیادی تبدیل بشه. جمعبندی گفتگو اینه که اضافه کردن یه توانایی با داربست بیرونی، سقف میسازه؛ توانایی واقعی وقتیه که خود سیستم اون کارو انجام بده.
نکات کلیدی:
- AI تو ریاضی سریعتر از هر رشتهای پیش رفته، پس نمونهی خوبی برای دیدن آیندهی پیشرفت AIـه
- برنده شدن تو المپیاد ریاضی یه بنچمارک دیگهست، نه لحظهی رسیدن به AGI
- مرز توانایی AI «تیغهتیغه»ست؛ حتی داخل ریاضی هم هندسه راحته ولی ترکیبیات سخته
- کار واقعاً سخت، ساختن حدسها و تعریفهای تازهست که نمیشه براش بنچمارک ساخت
- ارزش ایدههای بنیادی مثل نظریهی گروه ممکنه تا یک قرن بعد کاملاً روشن نشه
