فیلم بیشتر »»
کد خبر ۱۰۸۲۰۹۰
تاریخ انتشار: ۱۰:۴۹ - ۱۲-۰۵-۱۴۰۴
کد ۱۰۸۲۰۹۰
انتشار: ۱۰:۴۹ - ۱۲-۰۵-۱۴۰۴

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

هوش مصنوعی ۳۰ ریاضیدان برتر جهان را در یک گردهمایی محرمانه شکست داد
در یک گردهمایی محرمانه در کالیفرنیا، یک چت‌بات هوش مصنوعی با حل مسائل پیچیده ریاضی، ۳۰ ریاضیدان برتر جهان را شگفت‌زده کرد.
در ماه مه گذشته، یک گردهمایی محرمانه ریاضی در برکلی کالیفرنیا برگزار شد که در آن ۳۰ ریاضیدان برتر جهان با یک چت‌بات هوش مصنوعی به نام o4-mini به رقابت پرداختند.
 
به گزارش ایتنا و به نقل از لایوساینس، این مدل زبانی بزرگ که توسط OpenAI توسعه یافته، توانست برخی از سخت‌ترین مسائل قابل حل ریاضی جهان را پاسخ دهد.
 
بر این اساس، کن اونو، ریاضیدان دانشگاه ویرجینیا، اظهار داشت: «همکارانی دارم که معتقدند این مدل‌ها در حال نزدیک شدن به سطح نبوغ ریاضی هستند». این چت‌بات که بر پایه مدل استدلالی o4-mini کار می‌کند، با استفاده از مجموعه‌داده‌های تخصصی و بازخورد انسانی قوی آموزش دیده است.
 
گفتنی است که این پروژه با نام FrontierMath شناخته می‌شود و شامل ۳۰۰ سؤال ریاضی بدون پاسخ منتشرشده بود. در حالی که مدل‌های سنتی تنها توانستند کمتر از ۲ درصد این سؤالات را حل کنند، o4-mini حدود ۲۰ درصد از سؤالات سطح دانشگاهی تا تحقیقاتی را پاسخ داد.
 
در روز پایانی این گردهمایی، اونو با طرح یک مسئله باز در نظریه اعداد که معمولاً به عنوان موضوعی برای سطح دکترا در نظر گرفته می‌شود، چت‌بات را به چالش کشید. در کمال تعجب، هوش مصنوعی در مدت ۱۰ دقیقه با یافتن منابع مرتبط، حل نسخه ساده‌تر مسئله و در نهایت ارائه پاسخ صحیح، همه را شگفت‌زده کرد.
 
در پایان این گردهمایی، ریاضیدانان به بحث درباره آینده این حوزه پرداختند و احتمال تغییر نقش ریاضیدانان به طرح مسئله و همکاری با ربات‌های استدلالی برای کشف حقایق جدید ریاضی را بررسی کردند. اونو پیش‌بینی کرد پرورش خلاقیت در آموزش عالی برای حفظ آینده ریاضیات ضروری خواهد بود.
پربیننده ترین پست همین یک ساعت اخیر
ارسال به دوستان
حداقل و حداکثر قد مورد نیاز برای پذیرفته شدن در نیروی هوایی آمریکا چقدر است؟ چگونه شطرنج به سرگرمی محبوب اشراف اروپای قرون وسطی تبدیل شد؟(+عکس) چگونه جنگ جهانی اول همه دنیا را تا همین امروز به آشوب کشید؟ حکایت اولین مستراح‌های عمومی در تهران/ وقتی «کناسی» شغل پردرآمدی بود چرا مصریان باستان عاشق گربه‌ها بودند؟ کاتبان سومری دوران باستان چگونه «هیچ» را ثبت کردند؟(+عکس) نخستین ورزشکار المپیکی ایران که بود؟ ۱۵ پستانداری که بیشتر از همنوعان خود در حیات وحش می‌خوابند (+ اینفوگرافیک) از غار سون دونگ در ویتنام چه می دانید؟(+عکس) زردچوبه تقلبی را با یک لیوان آب بشناسید/ ۵ راه ساده برای تشخیص زردچوبه اصل + روش صحیح نگهداری زردچوبه هنوز خیلی ها روش دم کردن قهوه ترک روی گاز را بلد نیستند کیمچی؛ معروف‌ترین سوپرفود تخمیری جهان که از فوایدش شگفت‌زده می‌شوید + روش تهیه میلیاردر قاجاری که بزرگ‌ترین کتابخانه ایران را ساخت/ زندگی شگفت‌انگیز حاج حسین آقا ملک علائم ساس در منزل؛ راه‌های شناسایی و نابودی اصولی ساس ۵ گوشی هوشمند که بیشترین ارزش فروش مجدد را در سال ۲۰۲۶ حفظ می‌کنند