هوش مصنوعی و عصر «زور هوشمند»
خلاصهٔ کاملتر
نویسنده با مقایسهٔ Terence Tao، که خیلیها بهترین ریاضیدان نسلش میدوننش، شروع میکنه و بعد میره سراغ خبر اصلی: آخر هفته یه پژوهشگر Anthropic به اسم Levent Alpöge با مدل Fable برای حدس معروف Jacobian یه ضدمثال پیدا کرد. خود Tao تو وبلاگش این نتیجه رو بررسی کرد و گفت این مثال «مثل یه معجزهٔ بزرگ» به نظر میرسه که «بعیده با زورِ محض پیدا شده باشه».
به گفتهٔ نویسنده نکتهٔ جالبتر مربوط به Dmitry Rybin ـه که دو روز بعد با ChatGPT یه حدس دیگه رو رد کرد، ولی گفتوگوش با مدل تقریباً هیچی نبود: با «یه دستاورد بزرگ بساز» شروع شد و فقط چند جملهٔ ساده مثل «جستوجو رو ادامه بده» داشت. نویسنده میگه مدل نیازی نداشت کسی راهنماییش کنه یا بهش ایده بده؛ فقط باید بهش میگفتن ادامه بده.
نویسنده اسم این پدیده رو «زورِ هوشمند» میذاره و از زور محض جداش میکنه: تو زور محض میلیونها میمون هر ترکیب ممکنی رو تایپ میکنن، ولی اینجا انگار میلیونها دانشمند تو میلیونها آزمایشگاه دارن همزمان به یه چیز ضربه میزنن. یه عامل هوش مصنوعیِ بلندمدت دهها فرضیهٔ پخته میسازه، تستشون میکنه، یاد میگیره، تنظیم میکنه و باز ادامه میده.
به نقل از مقاله، ریاضیدانی مثل Andrew Blumberg هم میگه این دقیقاً همون کاریه که ازش انتظار داشته: اگه یه ضدمثال کوتاه و ساده وجود داشته باشه که فقط چون گشتن دنبالش خستهکنندهست پیدا نشده، هوش مصنوعی پیداش میکنه. کامپیوتر لزوماً باهوشتر از ریاضیدانهای امروز نیست، ولی سریعتره؛ و اگه بهقدر کافی سریع باشه، دیگه فرقش با باهوشتر بودن چیه؟
حرف پایانی نویسنده اینه که شاید باید بیشتر مسئلهها رو به شکل «ریاضی» دربیاریم. هر چیزی که بشه بهش فکر کرد، حسابش کرد، تستش کرد و دوباره ازش سر درآورد، احتمالاً میره تو همین حلقه و تو پسزمینهٔ کامپیوترِ یه نفر حل میشه؛ ولی کارهایی که به حضور تو دنیای واقعی، قضاوت و سلیقه نیاز دارن، هنوز از این قاعده جدا میمونن.
نکات کلیدی:
- دو ریاضیدان با Fable و ChatGPT برای دو حدس معروف ریاضی ضدمثال پیدا کردن
- تو یکی از موردها گفتوگو با مدل فقط چند جملهٔ «ادامه بده» بود، بدون راهنمایی تخصصی
- نویسنده اسم این روش رو «زورِ هوشمند» میذاره: فرضیهسازی و تست پشتسرهم در مقیاس بزرگ
- مسئلههای دارای جواب قابلبررسی بیشتر مستعد حلشدن با این حلقهان
- کارهای نیازمند حضور فیزیکی، قضاوت و سلیقه هنوز از دسترس این روش بیرونن




