در تاریخ ۲۸ اوت، ما شروع به آموزش یک مدل داخلی جدید کردیم. علاوه بر حل مسئله جایزه هزارساله ناویه-استوکس، این مدل اکنون بیش از ۱۰۰ مسئله باز قدیمی را در اکثر شاخههای ریاضیات حل کرده است. سرعت پیشرفت این مدل در ریاضیات، ریاضیدانان داخل اوپنایآی را شگفتزده کرد. این موضوع منجر به بحثهای داخلی درباره بهترین روش برای اطلاعرسانی به جامعه درباره این پیشرفت سریع و آمادهسازی و تطبیق این حوزه شد.
ریاضیات یک علم بنیادین است و کشفیات جدید ممکن است طیف وسیعی از کاربردها را به همراه داشته باشد. این امر وعده این قابلیتها را چشمگیر میکند و توسعه و استقرار مسئولانه آنها را فراتر از خودِ ریاضیات مهم میسازد. ما این موضوع را به رسمیت شناختهایم و در حال کار بر روی نحوه استقرار مسئولانه قابلیتهای مرتبط با ریاضیات در هوش مصنوعی هستیم.
در نامه سرگشاده اخیر با عنوان «عدم همسویی شدید هوش مصنوعی در ریاضیات»، ریاضیدانان نسبت به پیامدهای منفی استفاده از حل مسائل باز به عنوان معیار سنجش سیستمهای جدید هوش مصنوعی ابراز نگرانی کردند.
انتقادات آنها بر ضرورت تعامل اندیشمندانه شرکتهای هوش مصنوعی با جامعه ریاضیات تأکید دارد. به همین منظور، ما با ریاضیدانانی که یک گروه مشورتی مستقل ریاضیات را تأسیس کردهاند، همکاری میکنیم. این گروه به عنوان پلی با جامعه ریاضی و عموم مردم عمل خواهد کرد و به ریاضیدانان حق رأی در مورد نحوه پیشروی ما میدهد.
این گروه در مورد بررسی و ارتباط نتایج نوظهور مشاوره خواهد داد: آنها به اوپنایآی در ارزیابی اهمیت این نتایج کمک خواهند کرد، در مورد نحوه هماهنگی انتشار آنها مشاوره ارائه میدهند و در مورد استانداردهای آکادمیک و حرفهای تحقیقات ریاضی راهنمایی میکنند. همچنین در مورد چگونگی حمایت ابزارهای ما از تحقیقات و یادگیری ریاضیات مشاوره خواهند داد. ما میخواهیم ابزارهای قدرتمند را در اختیار ریاضیدانان قرار دهیم تا بتوانند سوالاتی را که بهتر از همه میشناسند پیگیری کنند و ایدههای جدیدی توسعه دهند.
این گروه مستقل از اوپنایآی فعالیت خواهد کرد. این گروه آزادی عمل دارد تا توصیههایی را که درخواست نکردهایم ارائه دهد، درباره تأثیر اوپنایآی بر ریاضیات اظهار نظر کند و توصیههای خود را علنی سازد. ارزش این گروه وابسته به توانایی اعضایش در اعمال قضاوت شخصی و به چالش کشیدن دیدگاههای ماست. اعضا توسط اوپنایآی حقوق دریافت نخواهند کرد و گروه میتواند ترکیب اعضایش را هر طور که صلاح بداند تغییر دهد. نکته مهم این است که این گروه مسئولیت مشاوره دادن به ما در مورد سرعت پیشرفت داخلیمان در ریاضیات را بر عهده نخواهد داشت.
همکاری با این گروه تنها قدم اول است. پرسشهای دشواری در پیش رو وجود دارد درباره اینکه چگونه هوش مصنوعی میتواند از فهم ریاضی پشتیبانی کند و چگونه مزایای این قابلیتها میتواند به جامعه گستردهتر برسد. ما میخواهیم ریاضیدانان در مرکز شکلدهی پاسخها باشند.
اعضای اولیه گروه مشورتی ریاضیات و هوش مصنوعی، میزبانیشده توسط مؤسسه مطالعات پیشرفته:
- فرانسوا شارل (ENS-PSL)
- کامیلو دی للیس (IAS, GSSI)
- تیموتی گاورز (Collège de France, Cambridge)
- مارتین هایرر (EPFL, Imperial College London)
- نیکhil سریواستا (Berkeley, Simons Institue)
- اولریکه تیلیمان (Oxford, INI)
- راوی واکیل (Stanford)
- ادوارد ویتن (IAS)
- ملانی متچت وود (Harvard)