۷۱۹ اثبات ریاضی هوش مصنوعی OpenAI زیر ذرهبین: آیا ناویر-استوکس در ترجمه گم شد؟
0
یک مقاله تازه میگوید اثبات ناویر-استوکس OpenAI با کد Lean آن مطابقت ندارد و این تردیدها درباره ۷۱۹ دستنوشته ریاضی هوش مصنوعی را برمیانگیزد.