OpenAI نتایج 377 ریاضی جدید را در GitHub منتشر می کند و پست بلاگ دست گیر را منتشر می کند

روز سه‌شنبه، OpenAI با انتشار 377 نتیجه ریاضی جدید در قالب یک اطلاعات جمع‌آوری شده در GitHub، به حمله همه جانبه خود به آرامش ذهن و احساس ثبات شغلی ریاضیدانان ادامه داد.

OpenAI اکنون مدعی چه نوع دستاوردهایی است؟ خوب، یک مقاله که به طور تصادفی انتخاب شده است ادعا می کند که "فرمول کامل عبارت اصلی Birch-Swinnerton-Dyer" را ثابت کرده است. پس این خیلی خوب است. اما هیجان زده نشوید، زیرا ظاهرا این فقط برای منحنی‌های بیضوی بیش از ℚ است، و حتی در آن زمان، تنها زمانی که گروه سلمر کامل «q-power» آن‌ها یک کورانک صفر یا یک در مقدار q اول دارند، متأسفانه می‌گویم.

به‌عنوان ویراستار شب‌ها و آخر هفته‌ها در Gizmodo، من از راه دور صلاحیت ارزیابی هیچ‌یک از این‌ها را ندارم - نه این‌که آن‌ها را بی‌معنا کنم، و نه به‌عنوان 377 پیشرفت شگفت‌انگیز ریاضی مطرح کنم.

به نظر می رسد یک پست وبلاگ OpenAI همراه پیش بینی می کند که متخصصان این کار را دوست ندارند. نویسندگان به دنبال این هستند که به جامعه اطمینان دهند که شرکت آنها می خواهد "مستقیما دانشمندان را با قابلیت های پیشرفته توانمند کند" و می گویند OpenAI "در حال کار برای انتشار مسئولانه مدلی است که این نتایج را ایجاد کرده است."

این پست نشان می دهد که مدل مورد بحث همان مدل داخلی و منتشر نشده ای است که حدود یک ماه پیش استثنایی را ایجاد کرد که معادلات ناویر-استوکس را رد کرد. بعدا مشخص شد که OpenAI کار توسط تیم دیگری از ریاضیدانانی که از هوش مصنوعی نیز استفاده می‌کردند وارد عمل شده و کار را به پایان رسانده است، اگرچه این لزوما پاسخ OpenAI را باطل نمی‌کند.

OpenAI در پست وبلاگ جدید خود می‌گوید که شامل «پروتکل‌هایی برای بازنگری‌ها و استنادات مقاله» است و می‌گوید که این شرکت با گروه مشاوره ریاضیات و هوش مصنوعی در مؤسسه مطالعات پیشرفته به منظور «توسعه بهترین شیوه‌ها» همکاری کرده است. به نظر می رسد این نتیجه همکاری OpenAI با AGMAI در اواخر ماه گذشته باشد.

در یک پست وبلاگی در 29 سپتامبر، AGMAI نوشت: «در حال حاضر، برخی از آزمایشگاه‌های هوش مصنوعی در حال آزمایش مسائل ریاضی پیشرفته بر روی مدل‌های اختصاصی هستند که برای جامعه علمی گسترده‌تر غیرقابل دسترس باقی می‌مانند.» این می‌افزاید، «ما این عمل را تأیید نمی‌کنیم و از آنها می‌خواهیم که آزمایش مسائل ریاضی پیشرفته را بر روی مدل‌های اختصاصی متوقف کنند».

از آنجایی که این نتایج با همان مدل منتشر نشده نتیجه ناویر استوکس OpenAI به دست آمد، به نظر نمی رسد که این توصیه مورد قبول واقع شده باشد.

در پاسخ به ایمیلی از Gizmodo در مورد توصیه AGMAI، لیندسی مک کالوم رمی، سخنگوی OpenAI، بخش‌هایی از پست وبلاگ را که در بالا در مورد توانمندسازی دانشمندان و تلاش برای انتشار مدل توضیح داده شد، تکرار کرد. مک کالوم رمی سپس افزود: "توصیه‌ها و توصیه‌های عمومی AGMAI نحوه اشتراک‌گذاری نتایج را نشان می‌دهد. ما به ترکیب بازخورد جامعه و بهبود استانداردهای خود برای اشتراک‌گذاری پیشرفت‌های علمی عمده ادامه خواهیم داد."