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