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