OpenAI'nin Navier-Stokes Millennium iddiası, dışarıdan görülmemiş bir kanıta dayanıyor
OpenAI, 1.000 eylemcinin Euler patlamalarını 50 saatte, 10.000 eylemcinin Navier-Stokes uzantısını 11 saatte bulduğunu söyledi; müşteri maliyeti yaklaşık 15 milyon dolar. Clay ödülü 1 milyon dolar. Nature ve Quanta Magazine aynı duyuruyu 8 Eylül'e koyuyor; kanıt Lean'de denetlenmiş, fakat New Scientist dışarıdan kimsenin görmediğini yazıyor.
Bilim··Gece
1.000 eylemci 50 saat, 10.000 eylemci 11 saat; müşteri maliyeti 15 milyon dolar
OpenAI bir basın toplantısında, Euler denklemlerinde patlamaları bulmak için 1.000 eylemcinin 50 saat çalıştığını, bunları Navier-Stokes'a taşıyan 10.000 eylemcinin ise 11 saat sürdüğünü söyledi. Aynı işi bir müşteri yaptırsa yaklaşık 15 milyon dolar tutacağını belirtti. Kullanılan modelin adını vermedi; yalnızca GPT-6 Astra'dan belirgin biçimde daha yetenekli olduğunu ifade etti. Nature, şirketin 8 Eylül'de Navier-Stokes Millennium Problemine bilgisayarla üretilmiş bir çözüm duyurduğunu yazdı ve sadeleştirilmiş sürümün 1.000 eylemciyle 50 saatte yanıtlandığını aktardı.[1], [2]
Clay ödülü 1 milyon dolar; Chandrasekaran sonlu sürede sonsuz hız dedi
Clay Matematik Enstitüsü'nün probleme bağlı ödülü 1 milyon dolar. Nature, OpenAI bilgisayar bilimcisi Ven Chandrasekaran'ın, kanıtın tamamen olağan başlayan ve Navier-Stokes denklemleri altında sonlu sürede sonsuz hıza ulaşan akışkanlar bulunduğunu gösterdiğini söylediğini yazdı. Clay Matematik Enstitüsü başkanı Martin Bridson bunu matematiğin insanca anlaşılması için heyecanlı bir gün diye niteledi. Quanta Magazine, 10.000 özerk eylemcinin üç boyutta bir tekillik bulduğunu ve sonucun Lean dilinde biçimsel olarak denetlendiğini bildirdi.[2], [3]
Duyuru Buckmaster ve Alpöge'den saatler sonra geldi; OpenAI ayrı kanıt dedi
Duyuru, New York Üniversitesi'nden Tristan Buckmaster ile Anthropic'ten Levent Alpöge'nin Euler denklemlerinde patlamaları bildirmesinden birkaç saat sonra geldi. Quanta Magazine aralığı 12 saat olarak verdi. Buckmaster ardından bir not yayımladı; OpenAI'den açıklama istediğini ve sonucun nasıl ulaşıldığına dair sert ayrıntı almadığını yazdı. OpenAI, Euler kanıtının onlarınkinden ayrı olduğunu, onların işini ya da istemlerini kullanmadığını söyledi. Mark Chen, binlerce eylemci için de şirketin anlayışının bu yönde olduğunu belirtti.[1], [3]
