پژوهش
ادعای OpenAI درباره ناویر–استوکس برهان Lean دارد، اما هنوز باید پذیرفته شود
OpenAI برای مسئله هزاره ناویر–استوکس راهحل پیشنهادی و برهان Lean منتشر کرده است؛ نتیجه هنوز به بررسی مستقل ریاضی نیاز دارد.
OpenAI برای مسئله هزاره ناویر–استوکس راهحل پیشنهادی و برهان Lean منتشر کرده است؛ نتیجه هنوز به بررسی مستقل ریاضی نیاز دارد.