OpenAI, yapay zekanın çözdüğü 377 yeni matematik sonucunu yayımladı

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ği belirtilirken, yeni çalışmalar tamamlandıkça sonuçların veri havuzuna ekleneceği bildirildi.Şirket ayrıca 10 problemin çözümünde yapay zeka modelinin sonuca nasıl ulaştığını gösteren özetleri de yayımladı.OpenAI, yapay zekanın matematik alanındaki çalışmalarının bilim dünyasıyla paylaşılmasını kolaylaştırmak amacıyla bir danışma grubuyla çalışmalar yürütüldüğünü belirtti. Bu kapsamda atölye, konferans ve özel programlara finansman sağlanacağı, ileri düzey yapay zeka modellerinin bilimsel alanlarda test edilmeye devam edileceği kaydedildi.OpenAI, eylül ayında yeni nesil bir yapay zeka modeliyle akışkanların hareketini açıklayan Navier-Stokes denklemlerine ilişkin 90 yıldır çözülemeyen ileri düzey matematik problemini çözdüğünü duyurmuştu.Şirket, yaklaşık 10 bin yapay zeka aracından oluşan ve görevleri kısmen otonom şekilde yerine getiren bir sistem kullanılarak problemin 88 saatte çözüldüğünü açıklamıştı.Çalışma kapsamında yaklaşık 3 milyon mesaj ve 130 milyar verinin kullanıldığı belirtilmişti. Navier-Stokes denklemleri, matematikte çözümü halen büyük önem taşıyan ve "Milenyum Problemleri" arasında bulunan yedi problemden biri olarak biliniyor. (Kaynak: ENSONHABER)