هوش مصنوعی ۳۰ ریاضیدان برتر جهان را در یک گردهمایی محرمانه شکست داد

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

در ماه مه گذشته، یک گردهمایی محرمانه ریاضی در برکلی کالیفرنیا برگزار شد که در آن ۳۰ ریاضیدان برتر جهان با یک چت‌بات هوش مصنوعی به نام o4-mini به رقابت پرداختند.

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

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

گفتنی است که این پروژه با نام FrontierMath شناخته می‌شود و شامل ۳۰۰ سؤال ریاضی بدون پاسخ منتشرشده بود. در حالی که مدل‌های سنتی تنها توانستند کمتر از ۲ درصد این سؤالات را حل کنند، o4-mini حدود ۲۰ درصد از سؤالات سطح دانشگاهی تا تحقیقاتی را پاسخ داد.

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

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

پربیننده ترین پست همین یک ساعت اخیر

نشانه های روی دادن «اتفاقی خاص» در روزهای آینده

خبر بعد نظرات کاربران خبر قبل