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