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