Şirket yapay zekanın 1 milyon dolarlık ödülü olan bir Milenyum Problemi'ni çözdüğünü savunuyor. Ancak matematik dünyasında çözümün doğruluğu ve çalışmanın nasıl ortaya çıktığı konusunda tartışma başladı.
90 YILLIK PROBLEM
Navier-Stokes problemi, sıvıların ve gazların hareketini açıklayan denklemlerin davranışını anlamaya yönelik ve yaklaşık 90 yıldır çözülemeyen temel bir matematik problemi. Problem, Clay Matematik Enstitüsü'nün çözülmesi halinde 1 milyon dolarlık ödül verdiği yedi Milenyum Problemi arasında bulunuyor.
OpenAI, geliştirdiği sistemin problemin belirli bir formülasyonunda sonlu zamanda tekillik oluşabileceğini gösteren analitik bir kanıt ürettiğini açıkladı. Şirket ayrıca kanıtın Lean adlı formal doğrulama sistemiyle de ifade edildiğini duyurdu.
10 BİN YAPAY ZEKA AJANI 88 SAAT ÇALIŞTI
OpenAI'nin açıklamasına göre çalışma, yaklaşık 10 bin yapay zeka ajanının paralel çalışmasıyla yürütüldü ve 88 saat sürdü. Ancak sonuç henüz matematik dünyasının bağımsız değerlendirmesinden geçmiş değil.
Çözümün niteliği konusunda da tartışma sürüyor. Bazı matematikçiler, OpenAI'nin çalışmasının daha önce ortaya konan yöntemlerle önemli ölçüde örtüştüğünü savunuyor.
“ÖDÜL İÇİN BAŞVURMUYORUZ”
OpenAI, ortaya koyduğu çalışmanın Milenyum Problemi'ni çözdüğünü savunsa da 1 milyon dolarlık ödül için hemen başvurmayacağını belirtiyor.
Eğer çözüm bağımsız matematikçiler tarafından doğrulanırsa, yapay zekanın temel matematikte insanlığın onlarca yıldır çözemediği bir probleme katkı sunduğu tarihi bir gelişme olacak.
