روز سه‌شنبه، OpenAI با انتشار ۳۷۷ نتیجه جدید در حوزه ریاضیات، بار دیگر به نگرانی ریاضی‌دانان درباره آینده شغلی و آرامش ذهنی آنها دامن زد. این نتایج در قالب مجموعه‌ای از فایل‌ها و اطلاعات منتشرشده روی گیت‌هاب در دسترس قرار گرفته‌اند.
اما OpenAI این بار چه دستاوردهایی را مطرح کرده است؟ به صورت کلی ، یک عالمه مسئله مختلف ریاضی در شرایط های خاص و یا به صورت عمومی پاسخ داده شده اند. این سوالات ریاضی جزو مواردی بودند که ریاضی دانان روی نحوه حل یا پاسخ نهایی آنها اختلاف نظر داشته اند.
به‌عنوان یک بلاگر حوزه تک، من اساساً تخصص لازم برای ارزیابی این نتایج را ندارم؛ نه می‌توانم آنها را رد کنم و نه می‌توانم با اطمینان بگویم که با ۳۷۷ پیشرفت بزرگ در ریاضیات روبه‌رو هستیم.
پست وبلاگی OpenAI نیز ظاهراً انتظار دارد که کارشناسان چندان از این اتفاق استقبال نکنند. نویسندگان در این مطلب تلاش کرده‌اند به جامعه علمی اطمینان دهند که هدف شرکت این است که «دانشمندان را مستقیماً با پیشرفته‌ترین قابلیت‌ها توانمند کند» و OpenAI نیز اعلام کرده که در حال کار برای انتشار مسئولانه مدلی است که این نتایج را تولید کرده است.
این مطلب نشان می‌دهد مدل موردنظر همان مدل داخلی و منتشرنشده‌ای است که حدود یک ماه پیش توانست یک مورد نقض برای معادلات ناویر-استوکس پیدا کند. بعدها مشخص شد که OpenAI وارد پروژه‌ای شده و کار تیم دیگری از ریاضی‌دانان را که آنها نیز از هوش مصنوعی استفاده می‌کردند، به پایان رسانده است؛ هرچند این موضوع لزوماً به معنای نادرست بودن پاسخی که OpenAI پیدا کرده نیست.
OpenAI در پست جدید خود می‌گوید این مجموعه شامل «پروتکل‌هایی برای بازبینی مقالات و نحوه ارجاع به منابع» نیز هست. این شرکت همچنین اعلام کرده که با گروه مشورتی ریاضیات و هوش مصنوعی در مؤسسه مطالعات پیشرفته همکاری کرده تا «بهترین شیوه‌ها» را در این زمینه تدوین کند. به نظر می‌رسد این همکاری نتیجه توافقی است که OpenAI اواخر ماه گذشته با این گروه، موسوم به AGMAI، اعلام کرده بود.
