آخرین خلاصه اخبار دست‌اول در موضوع «نایر-استوکس».
نایر-استوکس
اخبار تازه و دست‌اول با موضوع نایر-استوکس رو برات این پایین گذاشتیم!
حل مسئله ناویر-استوکس توسط OpenAI؛ جهشی بی‌سابقه در ریاضیات با هوش مصنوعی
ادامه مطلب
- 🤖 ۱۰ هزار ایجنت هوش مصنوعی OpenAI در ۸۸ ساعت اثبات ریاضی ارائه دادند
- 🌊 ادعای حل مسئله ناویر-استوکس و ایجاد تکینگی در جریان سیال
- 📄 تدوین یک اثبات ۱۶۵ صفحه‌ای با تولید ۱۳۰ میلیارد توکن هوش مصنوعی
- 🔍 بررسی منطقی استدلال‌ها توسط دستیار اثبات Lean در ۱۷ ساعت
- ⚠️ جامعه ریاضی در مورد اصالت و اعتبار این دستاورد در حال بحث است