جنجال اثبات‌های ریاضی اوپن‌ای‌آی

روند رویداد تا امروز

روند این رویدادها در ۲ اوت ۲۰۲۶ آغاز شد، زمانی که مدل آتی «آسترا»ی OpenAI به طور خودکار ۱۰ مسئله باز ریاضی را که دهه‌ها حل نشده بودند، از جمله راز ۲۷ ساله گروه غیر صوفیک، حل کرد. هوش مصنوعی استدلال‌های ریاضی را به طور خودکار تولید کرد که هزینه آن تقریباً ۲۰۰۰ دلار توکن محاسباتی بود. برای اثبات نتایج و از بین بردن نگرانی‌های مربوط به توهم‌زایی، OpenAI گواهی‌های «لین ۴» (Lean 4) قابل بررسی توسط ماشین را برای هر راه‌حل ارائه داد که نشان‌دهنده تغییری به سمت عمل هوش مصنوعی به عنوان یک همکار تحقیقاتی خودمختار بود.

در ۹ سپتامبر ۲۰۲۶، OpenAI ادعا کرد که یک مدل منتشرنشده هوش مصنوعی اثباتی تاییدشده برای معمای ۹۰ ساله جایزه هزاره ناویر-استوکس را در ۸۸ ساعت ارائه کرده است. این اثبات ۱۶۵ صفحه‌ای نشان داد که معادلات سیالات می‌توانند در یک زمان متناهی دچار تکینگی شوند. شرکت اعلام کرد که ادعای دریافت جایزه ۱ میلیون دلاری متصل به این چالش ریاضی را نخواهد داشت.

تصویر تولیدشده با هوش مصنوعی

این دستاورد به یک مناقشه بر سر حق تقدم با ریاضیدانان مستقل دامن زد. این ریاضیدانان ادعا می‌کنند که OpenAI پس از شنیدن شایعاتی درباره پیشرفت آن‌ها، برای شبیه‌سازی رویکرد منتشرنشده‌شان شتاب کرده است. شرکت OpenAI دسترسی به داده‌های خصوصی کاربران را رد کرد، اما پذیرفت که داده‌های ناشناس‌سازی‌شده از استفاده محصولات ممکن است مدل‌های آن را بهبود بخشیده باشد.

در ۲۸ سپتامبر ۲۰۲۶، OpenAI اعلام کرد که مدل داخلی آن بیش از ۱۰۰ مسئله دیرینه ریاضی دیگر را نیز حل کرده است. استفاده از مسائل باز ریاضی به‌عنوان معیار سنجش هوش مصنوعی، انتقاد ۲۵ برنده مدال فیلدز را در پی داشت.

تصویر تولیدشده با هوش مصنوعی

در پاسخ به واکنش‌های انتقادی جامعه دانشگاهی، OpenAI در همان روز یک هیئت مشورتی مستقل نه‌نفره از ریاضیدانان برجسته تشکیل داد. این گروه که در مؤسسه مطالعات پیشرفته مستقر است، وظیفه دارد بر نحوه انتشار نتایج نظارت کند، اما نمی‌تواند سرعت پژوهش‌های OpenAI را تعیین کند.

آنچه باید زیر نظر داشت

• هیئت مشورتی نه‌نفره مستقر در مؤسسه مطالعات پیشرفته، نتایج نوظهور را بررسی و انتشار آن‌ها را هماهنگ خواهد کرد.