هوش مصنوعی فرضیه 30 ساله ریاضی در علوم کامپیوتر را رد می کند

OpenAI سه کشف جدید در ریاضیات، علوم کامپیوتر و فیزیک را اعلام کرد

ساموئل بویوین/نور عکس از طریق گتی ایماژ

OpenAI، سازنده ChatGPT، ادعا می‌کند که مدل‌های هوش مصنوعی آن فرضیه زمان نمایی را رد کرده‌اند - یک فرض اساسی که پایه‌ی علوم کامپیوتر است.

فدور فومین از دانشگاه برگن در نروژ می‌گوید: «این کاملا غافلگیرکننده بود، یک شوک». "کسی که من می شناسم انتظارش را نداشت."

ادامه مطلب عصر طلایی ریاضیات در حال طلوع است و ریاضیدانان در حال ترسیدن هستند

فرضیه زمان نمایی (ETH) که حدود 30 سال پیش ارائه شد، سعی می‌کند محدودیتی در سرعت حل کردن معماهای منطقی توسط رایانه‌ها ایجاد کند.

تبلیغات

ساده ترین راه این است که هر ترکیب ممکنی از درست یا نادرست را برای هر قسمت از پازل امتحان کنید. ETH پیشنهاد می‌کند که اگرچه ممکن است بتوان این کار را سریع‌تر با میان‌برها انجام داد، اما با بزرگ‌تر شدن پازل، مقدار کار مورد نیاز باید به طور تصاعدی افزایش یابد.

با این حال، OpenAI می‌گوید که مدل‌هایش الگوریتمی ابداع کرده‌اند که می‌تواند محدودیت سرعت پیش‌فرض برای حل پازل‌های منطقی را شکست دهد و ظاهرا نادرست بودن ETH را ثابت کند. لزلی گلدبرگ از دانشگاه آکسفورد می‌گوید: «با فرض اینکه تایید شود، این یک پیشرفت بزرگ است.

خبرنامه رایگان

در The Daily ثبت نام کنید

در خبرنامه ثبت نام کنید

بسیاری از یافته های علوم کامپیوتر فرض می کنند که ETH درست است. اگر اینطور نباشد، نتیجه گیری هایی که در مورد محدودیت های محاسباتی ایجاد می کنند بی فایده می شوند. فومین می‌گوید: «این کار مستلزم بازنگری کامل چندین حوزه از الگوریتم‌ها و پیچیدگی است.

ETH به یک مسئله ریاضی قدیمی معروف به P در مقابل NP مرتبط است، که به این موضوع مربوط می شود که آیا مشکلی که بررسی پاسخ آن آسان است، حل شدنی نیز آسان است یا خیر. اگر ETH درست بود، به این معنی بود که پاسخ منفی بود. اما رد کردن ETH به این معنی نیست که پاسخ مثبت است. گلدبرگ می‌گوید: «این تأثیر مستقیمی بر P در مقابل NP ندارد، بنابراین ما نباید آن را به‌عنوان پیشرفت به سمت P در مقابل NP ببینیم.

این نتیجه در کنار سایر پیشرفت‌ها در ریاضیات و فیزیک در یک پست وبلاگ در 26 اکتبر اعلام شد.

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

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

هانا فرای: چگونه OpenAI باعث یک بحران وجودی در ریاضیات شده است

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

OpenAI می‌گوید که نتیجه ETH را با استفاده از نرم‌افزار Lean که اثبات‌های ریاضی را بررسی می‌کند، تأیید کرده است. Stefan Szeider در TU Wien در اتریش به آنچه OpenAI منتشر کرده است نگاه کرده است و می‌گوید که انتظار دارد در برابر موشکافی مقاومت کند، اگرچه او می‌گوید محققان هنوز باید بررسی کنند که بیانیه رسمی اثبات‌شده به معنای آن چیزی است که نویسندگان آن می‌گویند.

برای انجام این کار، OpenAI یک گروه مستقل شامل محققان راسل ایمپاگلیازو و راماموهان پاتوری را که به پیشنهاد ETH کمک کردند، مأمور کرده است تا یافته‌ها را بررسی کنند. آنها در نامه ای سرگشاده می گویند که این می تواند "بخش مهمی از علم کامپیوتر نظری را تغییر دهد."

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

بارت یانسن از دانشگاه فناوری آیندهوون در هلند، کار OpenAI در مورد ETH را «مذهبی»، «دیدنی» و «هیبت‌انگیز – اما همچنین فروتن» توصیف می‌کند. او می‌گوید: «این واقعا باعث می‌شود به آینده ریاضیات، الگوریتم‌ها و دانشگاه فکر کنید.

کلمان کانن از دانشگاه سیدنی می‌گوید اثبات چیزی و درک اینکه چرا درست است یکی نیستند. او در مورد شبکه ای از یافته های متکی بر اتریوم می گوید: «وب سقوط کرد و ما به پشت سر نگاه کردیم. ما هنوز نمی‌دانیم چرا.»

OpenAI می گوید در حال آزمایش رویکردی است که در آن دانشگاهیان مستقل تلاش هایی را برای تأیید و توضیح نتایج سازماندهی می کنند. اما فومین از این اختلال استقبال می کند. او می‌گوید: «این نتیجه خیلی چیزها را از بین می‌برد، اما همچنین فرصت‌های جدید و سؤالات جدیدی را ایجاد می‌کند که هیچ‌کس انتظارش را نداشت. والستروم می‌گوید: «نباید از دستیابی به پیشرفت‌های ریاضی بسیار جالب شکایت کرد که نمی‌توان آن را هضم کرد.