برچسب ها - مسئله ریاضی
هشدار استاد دانشگاه نیویورک درباره هوش مصنوعی
تریستان باکمستر، استاد ریاضیات دانشگاه نیویورک، معتقد است پیشرفت هوش مصنوعی رقابت برای حل مسائل دشوار ریاضی را وارد مرحلهای کرده که پژوهشگران دیگر نمیتوانند با قواعد گذشته ادامه دهند. او پس از جنجال بر سر راهحل پیشنهادی اوپنایآی برای مسئله ناویر–استوکس گفته است باید درباره اعتبار علمی، آموزش پژوهشگران و نقش ریاضیدانان در دورانی که هوش مصنوعی میتواند طی چند روز روی مسائل چنددهساله کار کند، تجدیدنظر شود.
کد خبر: ۱۰۸۱۹۷۷ تاریخ انتشار : ۱۴۰۵/۰۶/۲۱
اوپنایآی اثباتی را منتشر کرده است که به گفته این شرکت نشان میدهد معادلات سهبعدی ناویر-استوکس میتوانند از یک وضعیت اولیه هموار به تکینگی در زمان محدود برسند؛ نتیجهای که در صورت تأیید جامعه ریاضی، یکی از مسائل هزاره را حل خواهد کرد. این اثبات با یک مدل داخلی قدرتمندتر از GPT-۶ Astra و هزاران ایجنت هماهنگ تولید شده و علاوه بر متن تحلیلی، نسخهای رسمیسازیشده در Lean نیز برای بررسی منتشر شده است.
کد خبر: ۱۰۸۱۶۷۱ تاریخ انتشار : ۱۴۰۵/۰۶/۱۹
