اوپن‌ای‌آی می‌گوید ۱۰,۰۰۰ عامل هوش مصنوعی یک مسئله ریاضی جایزه هزاره را در ۸۸ ساعت حل کردند — و مناقشه‌ای بر سر اعتبار برانگیخت

اوپن‌ای‌آی این هفته اعلام کرد که گروهی از ۱۰,۰۰۰ عامل هوش مصنوعی که به‌صورت موازی کار می‌کردند، در حدود ۸۸ ساعت راه‌حلی پیشنهادی برای مسئله تکینگی Navier-Stokes — یکی از هفت مسئله جایزه هزاره موسسه Clay Mathematics که هرکدام ۱ میلیون دلار ارزش دارند — ارائه کرده‌اند. این شرکت می‌گوید حتی اگر اثبات تایید شود، جایزه را دریافت نخواهد کرد.

این مسئله واقعاً چه می‌پرسد؟

معادلات Navier-Stokes نحوه حرکت سیالاتی مانند آب و هوا را توصیف می‌کنند. ریاضی‌دانان بیش از یک قرن است که تلاش می‌کنند مشخص کنند آیا یک جریان سیال کاملاً صاف می‌تواند در بازه زمانی محدود به یک تکینگی با سرعت بی‌نهایت تبدیل شود یا خیر. اثبات پیشنهادی اوپن‌ای‌آی یک گرداب سیال را توصیف می‌کند که کشیده و متمرکز می‌شود تا سرعتش بدون محدودیت افزایش یابد، در حالی که انرژی کل سیستم محدود باقی می‌ماند.

اوپن‌ای‌آی چگونه این کار را انجام داد

این تلاش از ۱۰,۰۰۰ عامل خودمختار استفاده کرد که در حدود ۸۸ ساعت از اواخر شنبه با یکدیگر پیام ردوبدل می‌کردند و منابع محاسباتی‌ای مصرف کردند که اوپن‌ای‌آی آن را «میلیون‌ها دلار» توصیف کرد — حدود ۱۰۰۰ برابر بیشتر از تلاش‌های ریاضی قبلی این شرکت. مارک چن، مدیر ارشد تحقیقات، این را «نقطه عطفی مهم برای تحقیقات هوش مصنوعی» توصیف کرد.

مناقشه بر سر اعتبار

چند ساعت پیش از اعلام اوپن‌ای‌آی، ریاضی‌دانان Tristan Buckmaster (دانشگاه نیویورک) و Levent Alpöge (پژوهشگر Anthropic) به‌طور مستقل کاری به کمک هوش مصنوعی درباره معادلات مرتبط منتشر کرده بودند، با روش‌شناسی مشابهی که این دو نزدیک به یک سال روی آن کار کرده بودند. Buckmaster ادعا می‌کند اوپن‌ای‌آی تنها پس از اطلاع از تحقیقات او این مسئله را دنبال کرد. اوپن‌ای‌آی دسترسی مستقیم به کار رقیب را رد می‌کند اما اذعان کرد «هرچند بعید است، نمی‌توانیم رد کنیم که داده‌های بی‌هویت‌شده از استفاده آن‌ها از محصولات ما به بهبود مدل‌هایمان کمک کرده باشد».

تایید سال‌ها طول خواهد کشید

موسسه Clay Mathematics هنوز این اثبات را تایید نکرده است. رئیس این موسسه، Martin Bridson، گفت فرآیند ارزیابی «عمداً بدون عجله» است — یک راه‌حل باید داوری همتا و حدود دو سال پذیرش از سوی جامعه ریاضی را پشت سر بگذارد تا کمیته جایزه اصلاً آن را در نظر بگیرد.