فرانک کالگاری، ریاضیدان، ارزیابی صریحی از آنچه هوش مصنوعی با رشته خود انجام داده است، منتشر کرده است و در وبلاگ تأثیرگذار ترنس تائو استدلال می کند که انتشار بیش از 700 مقاله تحقیقاتی توسط OpenAI در 6 اکتبر "یک نقطه عطف در تاریخ ریاضیات" بود. این پست با عنوان "ریاضیات تغییر کرده است. بیایید مانند آن عمل کنیم" روز شنبه بالا رفت و به سرعت به صفحه اول هکر نیوز رسید و صدها نظر را به خود جلب کرد. پیام اصلی این مقاله به همان اندازه که برای ریاضیدانان چالش برانگیز است، برای شرکت‌های هوش مصنوعی - برای پوشش مداوم آن برخورد، به [اخبار تحقیقات هوش مصنوعی] (https://aibuzzwire.news) ما مراجعه کنید.

کالگاری می نویسد: «هوش مصنوعی اکنون به طور غیرقابل انکاری می تواند کمک های پیشگامانه ای در بسیاری از زمینه های ریاضیات داشته باشد. "پس چرا برخی از ریاضیدانان اینقدر ناراضی هستند؟" پاسخ او آن چیزی نیست که شما از یکی از برجسته ترین شکاکان این حوزه نسبت به تحقیقات تولید شده توسط هوش مصنوعی انتظار دارید.

یک حکم صریح بر روی خود کاغذها

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

درمان او کاملاً عملی است. او استدلال می‌کند که «ریاضی‌دانان کنترل بسیار بیشتری بر نحوه استخدام ریاضی‌دان‌ها، انتشار مقالات و آموزش دانش‌آموزان دارند تا بر رفتار شرکت‌های تریلیون دلاری»، و انرژی این رشته باید به آنجا برود.

"همه چیز ادعا شده است که ثابت شده است"

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

او می نویسد: «انتظار داشتم تعدادی از آنها را در لیست ببینم. "اما نه همه آنها. نه همه به یکباره. برای یک ریاضیدان شاغل، تجربه مشاهده هر مشکلی که در یک چرخه مطبوعاتی شرکتی درگیر می‌شود، به گونه‌ای که استدلال‌های انتزاعی در مورد خطر هوش مصنوعی وجود ندارد، گیج کننده است.

جدول تناوبی شیمی نیست

کالگاری این ایده را که ادعای مکان‌های دیدنی معروف میدان به معنای پایان یافتن میدان است، به شدت عقب می‌اندازد. او خاطرنشان می کند که مقالات OpenAI «به سختی» روی مشکلات کلی عملکرد و دوسویه در برنامه Langlands - یکی از عمیق ترین ساختارها در تئوری اعداد مدرن - ایجاد کرده است.

او می نویسد، اما حتی اگر انتشار تمام مشکلات برنامه Langlands را حل کرده باشد، تصور اینکه "تئوری اعداد حل شده" باشد، "به همان اندازه ساده لوحانه است که بگوییم ساخت جدول تناوبی شیمی را حل کرده است." او پیشنهاد می کند که این استدلالی است که ریاضیدانان باید برای عموم بیان کنند: مسائل مرکزی صرفاً قابل مشاهده ترین قله ها هستند و رشته کوه بسیار فراتر از آنها گسترش می یابد.

هشداری از تاریخچه نظریه گروه

لنگر تاریخی این مقاله، طبقه‌بندی گروه‌های ساده محدود است - حماسه‌ای که کالگاری از درون می‌داند. در سال 1972، دانیل گورنشتاین برنامه ای را برای طبقه بندی اعلام کرد. پس از حدود یک دهه فعالیت دیوانه‌وار، این طبقه‌بندی در سال 1983 کامل اعلام شد - همانطور که معلوم شد، پرونده گروه‌های شبه‌تین به پایان نرسید تا اینکه تقریباً دو دهه بعد اشباخر و اسمیت آن را تکمیل کردند.

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

آنچه کالگاری می خواهد ریاضیدانان انجام دهند

این انشا با یک برنامه به جای نوحه پایان می یابد. این رشته به تلاش هایی مانند درمان اصلاح شده Gorenstein-Lyons-Solomon در طبقه بندی نیاز دارد - کار صبورانه و چند جلدی برای ایجاد یک نتیجه ادعا شده در واقع جامد. و باید در برابر تلفظ موضوع "انجام شد" مقاومت کرد، زیرا با ابزارهای جدید موجود، ریاضیات "برای بررسی بیشتر آماده است."

او استدلال می کند که مسیرهای قدیمی از دست رفته توسط آنچه کالگاری آن را «بای پس کهکشانی» اثبات های به کمک هوش مصنوعی می نامد، وجود دارد، و ریاضیدانان باید به دنبال آنها باشند – و مهمتر از همه، «ما باید به این رفتار در زمانی که نوبت به ارائه شغل به مردم می رسد، پاداش دهیم.» این مقاله حاوی پاورقی از تائو است که به این نکته اشاره می‌کند که این پست در ابتدا با فرمت فایل متفاوتی نوشته شده بود و با استفاده از هوش مصنوعی تبدیل شده بود، طنز کوچکی که نشان می‌دهد ابزارها چقدر به طور کامل در کار روزانه این حوزه نفوذ کرده‌اند.

بخشی از یک محاسبه بسیار بزرگتر

این مقاله در میان یک سال تشدید اصطکاک بین ریاضیدانان و آزمایشگاه‌های هوش مصنوعی قرار می‌گیرد. AI Buzz Wire قبلاً در مورد ریاضیدانان گزارش داده بود که خواستار اثبات عدم آموزش مدل های OpenAI در بحث های خصوصی آنها بودند، در مورد 25 مدال آور فیلدز از جمله ترنس تائو که اعلام کرده بودند "ناهمسویی شدید" بین هوش مصنوعی و ریاضیات، در مورد نگرانی های مؤسسه مطالعات پیشرفته در مورد 377 جنگ هوش مصنوعی و صاحبان هوش مصنوعی. استخراج غیر قابل تجدید ذخایر مشکلات باز خوب جهان.

چیزی که مقاله جدید را قابل توجه می کند، تغییر وضعیت است. نکته غالب در پاسخ های قبلی هشدار بود. Calegari's اقتباس است. به گفته او، فناوری از بین نمی‌رود، ادعاهای خارق‌العاده از بین نمی‌روند، و تنها متغیری که میدان کنترل می‌کند پاسخ خودش است - چگونه منتشر می‌کند، چگونه آموزش می‌دهد و چه کسانی را استخدام می‌کند.

---

از هوش مصنوعی جلوتر بمانید

آخرین اخبار، تحلیل ها و پیشرفت های هوش مصنوعی را دریافت کنید - همه در یک مکان.

بیشتر بخوانید اخبار هوش مصنوعی →