دعوای اوپنایآی و آنتروپیک سر حل یه مسئله میلیوندلاری ریاضی
هوش مصنوعیClaude Sonnet 5خلاصهٔ کاملتر
اوپنایآی اعلام کرده با یه مدل داخلی و هنوز منتشرنشده، مسئله وجود و هموارسازی ناویر-استوکس رو حل کرده؛ یکی از هفت مسئله هزاره ریاضی که از سال ۲۰۰۰ یه جایزه یک میلیون دلاری براش گذاشته شده. اما این خبر با اتهامهای تریستن باکمستر، استاد ریاضی دانشگاه نیویورک، همراه شده.
به گفتهی باکمستر، اون و لونت آلپوگ (محققی که تو آنتروپیک کار میکنه) نزدیک یه سال با کمک Claude و Codex (بیشتر GPT-5.6 Sol) روی همین مسئله کار میکردن و پانزدهم اوت به یه راهحل رسیده بودن. وقتی شایعهی حل شدن مسئله پیچید، اوپنایآی باهاشون تماس گرفت؛ باکمستر میگه وقتی پرسیده اولین پرامپت کِی فرستاده شده، جواب روشنی نگرفته، و اوپنایآی هم گفته آلپوگ بهخاطر رابطهی رقابتیشون با آنتروپیک نمیتونه همنویسندهی مقاله باشه.
اوپنایآی از طرف خودش میگه اول سپتامبر با شنیدن شایعهی حل شدن چند مسئلهی هزاره، مدل داخلیش رو روی همهشون امتحان کرده و پنجم سپتامبر، حدود ۸۸ ساعت بعد، به جواب رسیده؛ فرمالایز کردنش تو Lean هم ۱۷ ساعت دیگه با GPT-6 Astra طول کشیده. در کل این پروژه ۴.۹ میلیون پیام و حدود ۳۰۰ میلیارد توکن خروجی مصرف شده که فقط برای ناویر-استوکس ۲.۷ میلیون پیام و ۱۳۰ میلیارد توکن بوده؛ همچین حجمی با قیمت عمومی API حدود ۱۵ میلیون دلار آب میخوره.
اوپنایآی میگه به هیچکدوم از کارهای باکمستر و آلپوگ قبل از انتشار عمومیشون دسترسی نداشته و دادهی خاص کاربری استفاده نشده، هرچند میپذیره که دادهی بیهویتشدهی همون کاربرا شاید رو بهبود مدلهاش تاثیر گذاشته باشه. سایمون ویلیسون، نویسندهی این پست، این ماجرا رو شبیه دنیای امنیت سایبری میدونه: همینکه شایعهی وجود یه باگ یا یه راهحل حلنشده پخش بشه، کافیه تا رقبا میلیونها دلار خرج کنن که زودتر بهش برسن.
نکات کلیدی:
- مسئلهی ناویر-استوکس یکی از هفت مسئلهی هزاره با جایزهی یک میلیون دلاریه
- تریستن باکمستر و لونت آلپوگ (محقق آنتروپیک) نزدیک یه سال زودتر روی همین مسئله کار میکردن
- پروژهی اوپنایآی حدود ۳۰۰ میلیارد توکن خروجی مصرف کرده، معادل حدود ۱۵ میلیون دلار
- اوپنایآی میگه به دادهی خاص کاربری دسترسی نداشته ولی امکان تاثیر دادهی بیهویتشده رو رد نکرده
