اوپن‌ای‌آی از سه دستاورد دیگر در ریاضیات و فیزیک خبر داد و برنامه‌ای تازه برای انتشار آن‌ها ارائه کرد
تقریباً همه ما مطمئنیم که مسئله ۳-SAT را نمی‌توان در زمان چندجمله‌ای حل کرد. بنابراین، هر وقت این موضوع مطرح می‌شود ــ که چند بار در روز اتفاق می‌افتد ــ همه می‌دانیم باید به کجا مراجعه کنیم. با من تکرار کنید: فرضیه زمان نمایی (ETH). البته این فرضیه هم هنوز اثبات نشده است، اما دست‌کم تصور روشنی از میزان زمان غیرچندجمله‌ای موردنیاز برای حل یک مسئله به ما می‌دهد.
اما اگر این‌طور نباشد چه؟ اوپن‌ای‌آی مدعی است که به‌تازگی کل فرضیه زمان نمایی را رد کرده است. پس همه باید دوباره از اول شروع کنیم!
البته من در واقع دارم ــ احتمالاً نه چندان دقیق ــ ویدئویی در یوتیوب درباره فرضیه زمان نمایی را بازگو می‌کنم و خودم هم نمی‌دانم دقیقاً درباره چه چیزی حرف می‌زنم. اما اگر دانشمند علوم رایانه نظری باشید و روی بهینه‌سازی و الگوریتم‌ها کار کنید، این موضوع اهمیت دارد. اوپن‌ای‌آی در تازه‌ترین گزارش خود درباره دستاوردهای علمی، این نتیجه و دو پیشرفت دیگر را اعلام کرده است.
اوپن‌ای‌آی علاوه بر ادعای رد فرضیه زمان نمایی، می‌گوید در حوزه مطالعه امواج و هارمونیک‌ها نیز به نتیجه‌ای مهم رسیده است: این شرکت مدعی است با یافتن اثباتی جدید برای «حدس کاکیا» در همه ابعاد، مسئله‌ای را حل کرده که به «حدس هموارسازی موضعی» مربوط می‌شود.
اما هنوز نباید با خیال راحت به امواج هموار فکر کنید؛ زیرا اوپن‌ای‌آی در حوزه فیزیک نیز مدعی است برای «برخی نظریه‌های میدان کوانتومی برهم‌کنشی در چهار بُعد که شامل میدان‌های پیمانه‌ای و فرمیون‌ها هستند، از جمله کرومودینامیک کوانتومی (QCD) و یک تکمیل یکپارچه از مدل استاندارد فیزیک ذرات»، اثباتی در اختیار دارد. بله، درست خواندید: هم میدان‌های پیمانه‌ای و هم فرمیون‌ها!
اوایل همین ماه، وقتی اوپن‌ای‌آی ۳۷۷ نتیجه ریاضی را در گیت‌هاب منتشر کرد، بخشی از متن وبلاگ این شرکت لحنی تدافعی داشت. برای نمونه، اوپن‌ای‌آی از عباراتی استفاده کرده بود که بر هدف خود برای «توانمندسازی دانشمندان با قابلیت‌های پیشرفته» و تلاش برای «انتشار مسئولانه مدلی که این نتایج را تولید کرده است» تأکید می‌کرد. گروه مشاوره‌ای که با این شرکت همکاری داشت، پیش‌تر به استفاده یک شرکت خصوصی از مدل‌های داخلی هوش مصنوعی که هنوز منتشر نشده‌اند برای دستیابی به نتایج پیشگامانه اعتراض کرده بود؛ ظاهراً اوپن‌ای‌آی نیز دقیقاً همین کار را انجام داده بود.
این بار اوپن‌ای‌آی به خوانندگان اطمینان می‌دهد که «در پی کسب اعتبار دانشگاهی برای اکتشافاتی نیست که مدل‌های داخلی ما به آن‌ها دست یافته‌اند». ظاهراً این شرکت برای تحقق چنین هدفی برنامه‌ای تدوین کرده است تا اکتشافات تولیدشده به کمک هوش مصنوعی ــ و در نتیجه، اعتبار علمی آن‌ها ــ در اختیار جامعه ریاضیات و فیزیک قرار گیرد. بااین‌حال، اگر این برنامه به افراط کشیده شود، ممکن است یادآور ایمورتان جو در فیلم مکس دیوانه: جاده خشم باشد؛ همان شخصیتی که آب را میان مردمان تشنه و تحت سلطه خود توزیع می‌کرد.
اوپن‌ای‌آی متن‌هایی را که مدل‌هایش تولید کرده‌اند منتشر می‌کند و می‌گوید باید آن‌ها را «نوعی داده خام پژوهشی» دانست. به گفته این شرکت، وظیفه جامعه ریاضیات و علوم این است که «این داده‌های خام پژوهشی را به درک علمی تبدیل کند».
اوپن‌ای‌آی می‌گوید نتایج ریاضی آن «صوری‌سازی» یا «راستی‌آزمایی» شده‌اند؛ یعنی با استفاده از Lean بررسی شده‌اند. Lean ابزاری برای دستیار اثبات است که با بررسی رسمی اثبات‌ها، نیاز به بازبینی مکرر آن‌ها را کاهش می‌دهد. بااین‌حال، اتکای اوپن‌ای‌آی به Lean خود به مسئله‌ای بحث‌برانگیز تبدیل شده است. پس از آنکه پژوهشگران با بررسی راه‌حل ادعایی اوپن‌ای‌آی برای مسئله هزاره معادلات ناویه–استوکس که با Lean راستی‌آزمایی شده بود، به آن مشکوک شدند، این نگرانی مطرح شد که Lean گزاره‌ای ضعیف‌تر از ادعای اولیه منتشرشده از سوی اوپن‌ای‌آی را تأیید کرده است.
اوپن‌ای‌آی می‌گوید در جریان این مشکلات اولیه، پیش‌تر «با کارشناسان بیرونی تماس گرفته است»؛ کارشناسانی که اغلب همان پژوهشگرانی هستند که مدل‌های هوش مصنوعی این شرکت بر پایه آثارشان کار می‌کنند. این شرکت می‌خواهد آن‌ها نقش «راهنما» را بر عهده بگیرند و گروه‌هایی تشکیل دهند که خروجی‌های هوش مصنوعی را به چیزی تبدیل کنند که در نهایت بتوان آن را دانش جدید انسانی نامید. بااین‌حال، اوپن‌ای‌آی در نوشته وبلاگی خود اذعان می‌کند که «انتخاب راهنمایان اولیه ناگزیر بر این موضوع اثر می‌گذارد که چه کسانی زودتر وارد فرایند می‌شوند و نوعی عدم تقارن اطلاعاتی ایجاد می‌کند».
در حال حاضر، بخشی از این اطلاعات «خام» در گیت‌هاب منتشر شده است، اما همه آن‌ها در دسترس نیستند. برای مثال، اوپن‌ای‌آی می‌گوید گروه فعال در حوزه فیزیک تصمیم گرفته است «فعلاً از انتشار دستاوردهای تولیدشده به کمک هوش مصنوعی خودداری کند و به‌جای آن، شخصاً روی تدوین و نگارش نتایج کار کند».