آرونسون: جواب مسئلههای ریاضی تو کشوی آزمایشگاهها مونده
هوش مصنوعیClaude Opus 5خلاصهٔ کاملتر
اسکات آرونسون، نظریهپرداز علوم کامپیوتر که هم روی پژوهش alignment (یعنی همسو نگهداشتن رفتار مدل با خواستهٔ آدمها) تو OpenAI کار کرده و هم تو راستیآزمایی ادعای برتری کوانتومی گوگل نقش داشته، تو یه پست وبلاگی نوشته که بر پایهٔ شنیدههاش، OpenAI و Anthropic احتمالاً جواب چند مسئلهٔ بازِ دیرینه تو ریاضی و علوم کامپیوتر رو دارن و منتشر نمیکنن. خودش تأکید میکنه این شایعهست، نه اعلام رسمی هیچکدوم از دو شرکت.
نقطهٔ شروع ماجرا یه جنجال واقعیه. گزارش شده بود که یکی از مدلهای OpenAI به نتیجهای مرتبط با معادلات ناویه-استوکس رسیده، یکی از هفت مسئلهٔ جایزهٔ هزارهٔ مؤسسهٔ کلی. واکنش، تحسین نبود. رسانههایی مثل Scientific American و Guardian ماجرا رو با چاشنی «سوءاستفاده از یه حفرهٔ جنجالی» یا «آدمها هنوز ضروریان» پوشش دادن و بحث افتاد رو این که مدل کار منتشرنشدهٔ یه ریاضیدان رو برداشته یا نه.
به گفتهٔ نویسنده، ایراد «فقط کار آدمها رو کپی کرده» منطقاً جور درنمیاد، چون اگه واقعاً ماجرا همین بود، همون مدلها نباید بتونن برای مسئلههای حلنشدهٔ دیگه هم جواب تازه بسازن، ولی ظاهراً همین اتفاق باز تکرار میشه. نویسنده معتقده انگیزهٔ آزمایشگاهها برای سکوت هم رقابتی نیست: میخوان از یه دور دعوای اعتبار و انتساب دیگه فرار کنن.
آرونسون میگه شایعههایی که شنیده دربارهٔ مسئلههای خیلی معروف مثل P در برابر NP نیست، اونها هنوز باز موندن، بلکه دربارهٔ مسئلههای قدیمی دیگهایه که دهها سال جلو تلاش آدمها مقاومت کردن. به عنوان یه نمونهٔ عمومی هم به توییت یکی از کارمندهای Anthropic اشاره میکنه که رد حدس ژاکوبین رو با کمک مدل منتشر کرده؛ نشونهٔ این که نتایج ریاضیِ ساختهشده با AI دارن سریعتر از چرخهٔ داوری آکادمیک بیرون میزنن.
نویسنده بخشی از نگرانیها رو بهجا میدونه: راستیآزمایی دقیق یه اثبات ماشینی چطور انجام میشه، اسم نویسنده رو چطور میذارن، و داوری همتا با مدل به عنوان همنویسنده چه شکلی میشه. حرفش اینه که این سؤالهای فرایندی نباید بهانه بشن برای انکار خود توانایی. به نظر او این همون الگوی همیشگیه: هر بار AI از یه خط قرمز رد میشه، به جای بهروزرسانی باور، خط قرمز رو جابهجا میکنن.
نکات کلیدی:
- ادعا از جنس شایعهست و هیچ تأیید رسمیای از OpenAI یا Anthropic نداره
- محرک ماجرا، واکنش منفی به یه نتیجهٔ مرتبط با معادلات ناویه-استوکس بود، یکی از مسئلههای جایزهٔ هزاره
- به گفتهٔ آرونسون مسئلههای خیلی بزرگ مثل P در برابر NP هنوز حلنشده باقی موندن
- انگیزهٔ نگهداشتن نتایج، اعتبار و انتساب کاره نه ایمنی؛ کسی نمیگه این اثباتها خطرناکن
- نمونهٔ عمومیِ اشارهشده، انتشار رد حدس ژاکوبین توسط یکی از کارمندهای Anthropic تو شبکههای اجتماعیه
