OpenAI 722 کشف ریاضی را در یک حرکت اعلام کرد

هوش مصنوعی در ریاضیات پیشرفت چشمگیری دارد

OpenAI 722 مقاله ریاضی را حذف کرده است و طیفی از مسائل را در مقیاسی اثبات و رد کرده است که به گفته دانشگاهیان به همان اندازه چشمگیر و گیج کننده است.

ماه هاست که توانایی مدل های هوش مصنوعی برای مقابله با مسائل ریاضی افزایش یافته است. همین اواخر، مدل‌های هوش مصنوعی در سال 2019 برای دستیابی به نمره قبولی در مقالات ریاضی GCSE تلاش کردند، اما ماه گذشته OpenAI مشکلی در رابطه با معادلات ناویر-استوکس دینامیک سیالات را حل کرد، که یکی از سخت‌ترین و ماندگارترین معماها در ریاضیات بود.

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

فرانسیس جانسون در دانشگاه کالج لندن سال‌ها روی مسئله Wall's D(2) کار کرد - یکی از صدها معما که در بخش مقالات OpenAI حل شد.

جانسون می‌گوید: «25 سال روی این مشکل کار کردم. دو کتاب در مورد آن تولید کردم. من شخصا منصرف شدم. من متعجبم که [هوش مصنوعی] این کار را خیلی سریع انجام داده است، اما تعجب نمی کنم که این کار را انجام داده است.»

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

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

اما کوین بازارد از امپریال کالج لندن می گوید که مهم است که احتیاط کنید. او می‌گوید که به‌عنوان یک نظریه‌پرداز اعداد، 30 مقاله در میان انتشارات مرتبط با رشته او وجود داشت، تنها هفت مورد از آن‌ها تأثیرگذار به نظر می‌رسیدند و تنها یکی از آنها به طور رسمی در Lean تأیید شد - نوعی تجزیه و تحلیل رایانه‌ای که می‌تواند نتایج ریاضی را بدون تردید معقول اثبات کند.

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

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

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

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

اما آلاناخ همچنین از مقیاس نتایج منتشر شده و تلاش برای توضیح آنها انتقاد داشت. آیا به کادر دانش بشری وارد می شود؟ آلاناخ می پرسد. "معمولا، ریاضیدانان کاری را که انجام می دهند دوست دارند و فرآیند حل معماها را دوست دارند و فقط بررسی یا درک عملکرد ماشین ها احتمالا چندان جذاب نیست."

به طور غیرمعمول برای تحقیقات ریاضی، مقالات در GitHub منتشر شدند - پایگاه داده آنلاینی که بیشتر برای به اشتراک گذاشتن کدهای کامپیوتری استفاده می شود. اوایل این هفته سرور علمی پیش‌چاپ arXiv اعلام کرد که محدودیت‌های آپلود را برای جلوگیری از موج ارسال‌های "کم ارزش" معرفی می‌کند.