نموذج جديد من OpenAI يحقق تقدماً لافتاً في واحدة من أصعب مسائل الرياضيات

حققت شركة OpenAI تقدماً لافتاً في حل المسائل الرياضية شديدة التعقيد. بعدما تمكن أحد نماذجها التجريبية من التوصل إلى برهان لمسألة «نافير-ستوكس».