اوپن‌ای‌آی از سه دستاورد جدید هوش مصنوعی در ریاضیات، فیزیک و علوم کامپیوتر خبر داد
اوپن‌ای‌آی نتایج پژوهشی جدیدی را که مدل‌های هوش مصنوعی این شرکت تولید کرده‌اند، منتشر کرده است. این نتایج شامل کارهایی درباره حدس‌های ریاضی، نظریه میدان کوانتومی و ادعایی است که یکی از فرضیه‌های دیرپای علوم کامپیوتر را به چالش می‌کشد. انتشار این یافته‌ها با رویکردی تازه برای ارزیابی تخصصی آن‌ها همراه شده است؛ در همین حال، پرسش‌هایی درباره دسترسی گزینشی به نتایج، تعیین سهم علمی پژوهشگران و شیوه ارزیابی اکتشافات تولیدشده با هوش مصنوعی مطرح است.
اوپن‌ای‌آی سه نتیجه پژوهشی دیگر را که با مدل‌های هوش مصنوعی این شرکت به دست آمده‌اند، معرفی کرده است. یکی از این نتایج ادعا می‌کند نظریه‌ای را که درباره دشواری محاسباتی برخی مسائل به‌طور گسترده پذیرفته شده است، نقض می‌کند. این پژوهش‌ها حوزه‌های تحلیل ریاضی، علوم کامپیوتر و فیزیک نظری را در بر می‌گیرند، اما شرکت برای بررسی و ارزیابی آن‌ها از سوی متخصصان، رویکرد یکسانی در پیش نگرفته است.
این افشاگری‌های تازه در ادامه انتشار مطالبی در ۶ اکتبر صورت می‌گیرند؛ زمانی که اوپن‌ای‌آی صدها دست‌نوشته ریاضی تولیدشده با هوش مصنوعی را برای بررسی پژوهشگران منتشر کرد. این بار، شرکت از دانشگاهیان شناخته‌شده خواسته است در ارزیابی و توضیح دو مورد از نتایج مشارکت کنند، در حالی که کار ریاضی را برای تفسیر مستقل پژوهشگران دیگر نیز در دسترس گذاشته است.
این اعلام‌ها پرسشی گسترده‌تر را پیش روی جامعه علمی قرار می‌دهند: پژوهشگران چگونه باید با اکتشافاتی برخورد کنند که سامانه‌های هوش مصنوعی تولید می‌کنند، وقتی راستی‌آزمایی استدلال‌های زیربنایی، توضیح نتایج و تعیین سهم علمی افراد ممکن است خود به کار گسترده‌ای نیاز داشته باشد؟
هوش مصنوعی نظریه‌های تثبیت‌شده در ریاضیات و علوم کامپیوتر را به چالش می‌کشد
نتیجه ریاضی به مسئله هموارسازی موضعی برای معادله موج اقلیدسی مربوط است؛ مسئله‌ای در حوزه تحلیل انتشار امواج. اوپن‌ای‌آی می‌گوید مدل این شرکت برهانی ارائه کرده که همه ابعاد فضایی دو یا بیشتر را پوشش می‌دهد. به گفته شرکت، این نتیجه همچنین حدس‌های بیشینه کاکیا و بُعد کاکیا را اثبات می‌کند و برآوردهای محدودسازی کروی اشتاین را در سراسر محدوده داخلی پیش‌بینی‌شده آن‌ها برقرار می‌سازد.
این ارتباط‌ها می‌توانند اهمیت پژوهش را فراتر از مسئله اولیه ببرند. با این حال، آنچه منتشر شده خروجی مدل است، نه مقاله‌ای پژوهشی که استدلال‌های آن به‌طور کامل توضیح داده شده و مستقلاً اعتبارسنجی شده باشد. اوپن‌ای‌آی از ریاضی‌دانان دعوت کرده است مطالب را بررسی کنند و شرح و تفسیر مستقلی از استدلال‌های به‌کاررفته ارائه دهند.
حدس کاکیا به‌ویژه در پژوهش‌های ریاضی مورد توجه بوده است. بر اساس اطلاعات زمینه‌ای ارائه‌شده در اطلاعیه اوپن‌ای‌آی، هونگ وانگ، استاد دانشگاه نیویورک، در سال ۲۰۲۶ برای پژوهش‌هایی که به حل این حدس در سه بُعد انجامید، مدال فیلدز دریافت کرد. ادعای گسترده‌تر اوپن‌ای‌آی نتایجی را در همه ابعاد در بر می‌گیرد، اما خروجی جدید همچنان به بررسی دقیق متخصصان نیاز دارد.
نتیجه مربوط به علوم کامپیوتر مستقیماً یکی از فرضیه‌های پذیرفته‌شده این حوزه را به چالش می‌کشد. اوپن‌ای‌آی می‌گوید مدل این شرکت الگوریتمی قطعی یافته است که تعداد انتساب‌های ارضاکننده برای فرمول‌های شکل نرمال عطفی با عرض ثابت، یا CNF، را در زمان زیرنمایی و با فضای چندجمله‌ای محاسبه می‌کند.
اگر این نتیجه درست باشد، فرضیه زمان نمایی (ETH) را در مسئله ارضاپذیری سه‌متغیره، که معمولاً با نام 3-SAT شناخته می‌شود، نقض خواهد کرد. راسل ایمپاگلیا‌تزو و راموهان پاتوری این فرضیه را در سال ۱۹۹۹ مطرح کردند. بر اساس آن، حل مسئله 3-SAT در زمان زیرنمایی امکان‌پذیر نیست.
فرضیه ETH نقش مهمی در علوم کامپیوتر نظری داشته و به پژوهشگران کمک کرده است محدودیت‌های مربوط به کارایی حل مسائل محاسباتی را مشخص کنند. اگر ادعای اوپن‌ای‌آی پس از بررسی دقیق تأیید شود، ممکن است لازم باشد پژوهشگران در نتایجی که بر این فرضیه تکیه دارند بازنگری کنند. با این حال، در حال حاضر باید این موضوع را ادعایی نیازمند راستی‌آزمایی دانست، نه تغییری قطعی در مبانی علوم کامپیوتر.
بررسی نتایج از سوی متخصصان در بحبوحه اختلاف بر سر دسترسی
اوپن‌ای‌آی گروهی را به سرپرستی ایمپاگلیا‌تزو، پاتوری و رایان ویلیامز، استاد مؤسسه فناوری ماساچوست (MIT)، مأمور بررسی برهان علوم کامپیوتر کرده است. شرکت می‌گوید این پژوهشگران در راستی‌آزمایی و توضیح نتیجه مشارکت خواهند کرد. به درخواست این گروه، اوپن‌ای‌آی متن تولیدشده با هوش مصنوعی و برهان صوری‌سازی‌شده آن در زبان لین (Lean) را در گیت‌هاب قرار داده است. همچنین نامه‌ای سرگشاده منتشر شده که از جامعه علمی می‌خواهد درباره شیوه ارزیابی این ادعا بازخورد ارائه کند.
اوپن‌ای‌آی برای پژوهش فیزیک رویکرد متفاوتی در پیش گرفته است. این شرکت می‌گوید نتیجه مذکور یک برهان وجودی با دقت ریاضی درباره برخی نظریه‌های میدان کوانتومی برهم‌کنشی در چهار بُعد است که میدان‌های پیمانه‌ای و فرمیون‌ها را در بر می‌گیرد. از جمله این نظریه‌ها می‌توان به کرومودینامیک کوانتومی (QCD)، توصیف‌کننده برهم‌کنش قوی، و تکمیل یکپارچه‌ای از مدل استاندارد فیزیک ذرات اشاره کرد.
مطالب کامل مربوط به پژوهش فیزیک هنوز منتشر نشده‌اند. اوپن‌ای‌آی اعلام کرده است که دیوید گراس سرپرستی گروهی شامل مایکل داگلاس، آرتور جافی، ایگور کلبانوف و نیکیتا نکراسوف را بر عهده خواهد داشت تا این پژوهش را بررسی کنند و به توضیح پیامدهای آن کمک کنند.
تصمیم به مشارکت دادن گروهی از متخصصان منتخب، خود به موضوع اختلاف تبدیل شده است. هیئت مشورتی تشکیل‌شده از سوی اوپن‌ای‌آی با نام AGMAI اخیراً توصیه کرده است که شرکت‌های هوش مصنوعی از اعطای دسترسی زودهنگام و ویژه به افراد مشخص برای بررسی پژوهش‌های تولیدشده با این فناوری خودداری کنند. نگرانی‌های این هیئت شامل نابرابری در فرصت‌های پژوهشی، استفاده از اعتبار دانشگاهیان شناخته‌شده برای معتبر جلوه دادن ادعاهای تأییدنشده و احتمال سوگیری در انتخاب افرادی است که در این فرایند مشارکت می‌کنند.
این هیئت در عوض توصیه کرده است آزمایشگاه‌های هوش مصنوعی نتایج خود را از طریق مخازن علمی منتشر کنند، در صورت امکان برهان‌های صوری‌شده با لین ارائه دهند، توضیح دهند که مسائل مورد بررسی را چگونه انتخاب کرده‌اند و از پژوهشگرانی که برای فهم و تفسیر خروجی‌ها وقت می‌گذارند، حمایت مالی کنند.
در نامه همراه این اعلام‌ها، اوپن‌ای‌آی از جامعه پژوهشی خواسته است به تدوین استانداردهایی برای افشای اطلاعات، مدیریت تعارض منافع و استفاده از مطالب منتشرنشده کمک کند. این نامه همچنین مسئله نحوه اعطای اعتبار علمی را مطرح می‌کند: چگونه باید سهم کسانی را که یافته‌های تولیدشده با هوش مصنوعی را راستی‌آزمایی، اصلاح، ساده‌سازی و توضیح می‌دهند، در نظر گرفت، به‌جای آنکه اعتبار صرفاً به سامانه‌ای تعلق گیرد که نخستین بار نتیجه را تولید کرده است؟