هوش مصنوعی کاری را انجام داده است که ریاضیدانان به مدت ۸۰ سال قادر به انجام آن نبوده‌اند.

برای اولین بار، یک مدل هوش مصنوعی OpenAI به طور مستقل راه حلی برای مسئله ریاضی معروف مطرح شده توسط پاول اردوش در سال ۱۹۴۶ پیدا کرده است که بسیاری از ریاضیدانان برجسته جهان را شگفت زده کرده است.

گیف: وال استریت ژورنال

«اگر ریاضیدان هستید، احتمالاً باید قبل از خواندن ادامه مطلب بنشینید.»

اینگونه بود که یک ریاضیدان برجسته هنگام اظهار نظر در مورد نتایجی که اخیراً توسط OpenAI منتشر شده است، شروع کرد: یک مدل هوش مصنوعی مسئله فاصله واحد را حل کرده است، مسئله‌ای که تقریباً 80 سال ریاضیدانان را گیج کرده بود.

همین چند سال پیش، مدل‌های هوش مصنوعی اغلب در محاسبات ساده اشتباه می‌کردند. تا سال ۲۰۲۵، آنها به سطح مدال طلا در المپیاد بین‌المللی ریاضی خواهند رسید. اکنون، هوش مصنوعی نه تنها مسائل ریاضی را حل می‌کند، بلکه نتایج تحقیقاتی جدیدی را در زمینه‌های پیشرفته‌تر ریاضیات نیز تولید می‌کند.

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

نتایج به سرعت توجه بسیاری از کارشناسان را به خود جلب کرد.

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

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

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

مشکل ریاضیدان افسانه‌ای

مسئله فاصله واحد توسط ریاضیدان پل اردوش در سال ۱۹۴۶ مطرح شد.