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