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