پایان عصر قهرمانها در ریاضیات
هوش مصنوعیخلاصهٔ کاملتر
OpenAI اعلام کرد مدل تازهاش با نام Astra تونسته ده مسئلهٔ باز و مهم ریاضی و علوم کامپیوتر نظری رو حل کنه. نوآ اسمیت تو این یادداشت میگه این خبر یکی از اون لحظههای «انسان در برابر ماشین»ه؛ چیزی شبیه شکست کاسپاروف در شطرنج یا لی سدول در گو. البته او تأکید میکنه این به معنی برتری هوش مصنوعی در همهٔ شاخههای ریاضی نیست و هنوز عدهای معتقدن مدلها تو جهشهای واقعاً بدیع ضعیفن.
با این حال روند کلی روشنه. به نوشتهٔ اسمیت، دنیل لیت از دانشگاه تورنتو که یکی از شکاکهای سرشناس به توان هوش مصنوعی در ریاضیات مرزی بود، شرطش رو واگذار کرده و گفته رسیدن مدلها به پژوهش سطحبالا فقط مسئلهٔ زمانه. واکنش بخشی از جامعهٔ ریاضی هم ناامیدی عمیق بوده؛ یادداشت پرخوانندهٔ کیروین همپشایر یه بحران معنوی رو توصیف میکنه و یه دانشجوی دکتری هم ریاضیدانها رو به مقاومت در برابر شرکتهای هوش مصنوعی دعوت کرده.
هستهٔ استدلال نویسنده اینه که علم همیشه کاری جمعی بوده و آدمها در واقع نقش edge compute رو داشتن: دانستههای جامعه رو یاد میگرفتن، یه تکه تجربهٔ تازه بهش اضافه میکردن و برش میگردوندن به یه ذهن جمعی که خودِ جامعه بود. قهرمانی ریاضی هم از یه محدودیت میاومد: هر ایده باید اونقدر قابلفهم میشد که یه مغز انسانی بفهمتش و بتونه منتقلش کنه. به گفتهٔ اسمیت هوش مصنوعی خودش یه ذهن جمعی تازهست که این گلوگاه رو برداشته.
او معتقده این پایان کار ریاضیدانها نیست. کل حقوق ریاضیدانهای دانشگاهی آمریکا حدود ۴ تا ۵ میلیارد دلاره؛ رقمی که در مقیاس اقتصاد آمریکا ناچیزه، پس جامعه از پس نگهداشتنشون برمیاد. مهمتر اینکه دکمهزدن و گرفتن جواب به معنی فهمیدنش نیست؛ یه نفر باید بفهمه ماشین چی کشف کرده و مسئلهٔ بعدی چی باید باشه. نویسنده میگه وضع کسایی که برای «فهمیدن» سراغ ریاضی رفتن حتی بهتر هم میشه.
چیزی که از دست میره خودِ «قهرمانی»ه: این حس که توانایی نادر یه نفر گلوگاه پیشرفت بشر رو باز میکنه. اسمیت میگه ریاضیِ بهسبک قدیم احتمالاً به یه سرگرمی یا ورزش تبدیل میشه، همونطور که با وجود ماشین هنوز دونده داریم. از نظر او این سرنوشت بدی نیست؛ بیشتر آدمها هیچوقت قهرمان نبودن و معنای زندگیشون رو از جای دیگهای گرفتن.
نکات کلیدی:
- مدل Astra از OpenAI ده مسئلهٔ باز ریاضی و علوم کامپیوتر نظری رو حل کرده
- دنیل لیت، از شکاکهای سرشناس، شرطش رو واگذار کرده و میگه بقیهاش فقط مسئلهٔ زمانه
- نویسنده هوش مصنوعی رو نه جایگزین یه کارمند، که یه «ذهن جمعی» تازه میدونه
- ریاضیدانها بیکار نمیشن؛ نقششون به فهمیدن نتایج و طرح مسئلهٔ تازه تغییر میکنه
- چیزی که از بین میره حس قهرمانی فردیه، نه خودِ حرفه
