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