OpenAI, yapay zekanın ileri düzey matematik problemlerinde elde ettiği yeni sonuçları bilim dünyasının kullanımına sundu. Şirket, farklı matematik alanlarını kapsayan 377 sonucun, henüz kamuoyuna tanıtılmayan daha gelişmiş bir yapay zeka modeliyle elde edildiğini bildirdi.New York Times'ın haberine göre sonuçlar, OpenAI'ın eylül ayında 90 yıldır çözülemeyen ve "Milenyum Problemleri" arasında yer alan Navier-Stokes denklemlerine ilişkin çözüm elde ettiğini açıklamasının ardından geldi.OpenAI, yayımlanan sonuçların her birinin elde edilmesinin ortalama yaklaşık 3 saat sürdüğünü açıkladı.Matematiksel ispatların temel mantıksal doğruluğunun "Lean" adlı bilgisayar dili kullanılarak kontrol edildi
(Kaynak: ENSONHABER)