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