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