گروه مشورتی ریاضیات و هوش مصنوعی
در ۲۸ اوت، آموزش یک مدل داخلی جدید را آغاز کردیم. این مدل، افزون بر حل مسئله جایزه هزاره ناویر–استوکس، اکنون بیش از ۱۰۰ مسئله حلنشده و دیرپا را در بیشتر شاخههای ریاضیات حل کرده است. سرعت پیشرفت این مدل در ریاضیات، ریاضیدانان OpenAI را شگفتزده کرده است. این موضوع به گفتوگوهایی داخلی درباره بهترین شیوه آگاهکردن جامعه از این پیشرفت سریع انجامیده است تا این حوزه برای آن آماده شود و خود را با آن سازگار کند.
ریاضیات علمی بنیادی است و کشفیات نوین آن میتواند کاربردهای گستردهای داشته باشد. ازاینرو، ظرفیت بالقوه این قابلیتها چشمگیر است و توسعه و عرضه مسئولانه آنها اهمیتی فراتر از خود ریاضیات دارد. ما به این موضوع واقفیم و در حال بررسی چگونگی عرضه گستردهتر و مسئولانه قابلیتهای هوش مصنوعی مرتبط با ریاضیات هستیم.
ریاضیدانان در نامه سرگشاده اخیر «ناهمراستایی شدید هوش مصنوعی در ریاضیات(در یک پنجره جدید باز میشود)» درباره پیامدهای بیرونی منفیِ استفاده از حل مسائل حلنشده بهعنوان معیاری برای سنجش سامانههای جدید هوش مصنوعی ابراز نگرانی کردهاند.
انتقادهای آنان بر ضرورت تعامل سنجیده شرکتهای هوش مصنوعی با جامعه ریاضیات تأکید دارد. در همین راستا، با ریاضیدانانی همکاری میکنیم که یک گروه مشورتی مستقل در زمینه ریاضیات تشکیل دادهاند. این گروه پلی میان ما، جامعه ریاضیات و عموم مردم خواهد بود و به ریاضیدانان امکان میدهد در چگونگی ادامه مسیر ما نقش داشته باشند.
این گروه درباره بررسی و اطلاعرسانی نتایج نوظهور مشورت خواهد داد: به OpenAI کمک میکند اهمیت آنها را ارزیابی کند، درباره نحوه هماهنگی انتشارشان مشاوره میدهد و در زمینه معیارهای دانشگاهی و حرفهای پژوهش ریاضی راهنمایی میکند. همچنین درباره چگونگی پشتیبانی ابزارهای ما از پژوهش و یادگیری ریاضیات مشورت خواهد داد. میخواهیم ابزارهای توانمند را در اختیار ریاضیدانان بگذاریم تا بتوانند پرسشهایی را که بهتر از همه میشناسند دنبال کنند و ایدههای تازهای بپرورانند.
این گروه مستقل از OpenAI فعالیت خواهد کرد. این گروه آزاد خواهد بود که بدون درخواست ما مشورت دهد، درباره تأثیر OpenAI بر ریاضیات اظهارنظر کند و توصیههای خود را بهصورت عمومی منتشر کند. ارزش این گروه به توانایی اعضایش در اعمال قضاوت مستقل و به چالش کشیدن دیدگاههای ما بستگی دارد. OpenAI به اعضای این گروه دستمزدی پرداخت نخواهد کرد و گروه میتواند بنا به صلاحدید خود ترکیب اعضایش را تغییر دهد. نکته مهم این است که این گروه مسئول مشاوره درباره سرعت پیشرفت داخلی ما در ریاضیات نخواهد بود.
همکاری با این گروه نخستین گام است. پرسشهای دشواری پیش رو داریم: هوش مصنوعی چگونه میتواند به درک ریاضیات کمک کند و مزایای این قابلیتها چگونه میتواند در اختیار جامعه گستردهتری قرار گیرد؟ میخواهیم ریاضیدانان در کانون شکلدادن به پاسخها باشند.
اعضای اولیه گروه مشورتی ریاضیات و هوش مصنوعی(در یک پنجره جدید باز میشود)، مستقر در مؤسسه مطالعات پیشرفته(در یک پنجره جدید باز میشود):
فرانسوا شارل (ENS-PSL)
کامیلو دِ لِلیس (IAS، GSSI)
تیموتی گاورز (کلژ دو فرانس، کمبریج)
مارتین هایرر (EPFL، امپریال کالج لندن)
نیکیل سریواستاوا (برکلی، مؤسسه سایمونز)
اولریکه تیلمن (آکسفورد، INI)
راوی وکیل (استنفورد)
ادوارد ویتن (IAS)
ملانی مچت وود (هاروارد)
