مدلها۱۸ ساعت پیش
OpenAI و مسئله ناویر–استوکس: اثبات تازه و جنجال اعتباردهی
مدل داخلی OpenAI با اجرای همزمان ۱۰٬۰۰۰ ایجنت ادعای حل ناویر–استوکس را مطرح کرد؛ اتهام استفاده بدون ذکر منبع از کار دو ریاضیدان، این دستاورد را جنجالی کرده است.
برچسب
ناویر استوکس
آخرین اخبار، مدلها، ابزارها و تحلیلهای مرتبط با «ناویر استوکس» در هوشنامه.
۳ مقاله با این برچسب
مدلها
پژوهش۲۰ ساعت پیش
OpenAI ادعای حل مسئله ناویر–استوکس با اثبات رسمی در Lean
منتشرشدن یک راهحل هوش مصنوعی برای مسئلهٔ ناویر–استوکس بههمراه اثبات رسمی در Lean؛ حالا نوبت داوری جامعهٔ ریاضی و بررسی تطابق اثبات فرمال با صورت مسئله است.
پژوهش۲۲ ساعت پیش
حل مسئله ناویر–استوکس با ۱۰ هزار عامل OpenAI در ۸۸ ساعت
OpenAI میگوید ۱۰ هزار عامل هوش مصنوعی با ۲.۷ میلیون پیام و ۶.۵ میلیون دلار محاسبات، مسئله هزاره ناویر–استوکس را در ۸۸ ساعت حل کردهاند.