OpenAI, Navier-Stokes denklemlerinin sonlu zaman tekilliğini kanıtladı

OpenAI, 8 Eylül'de dahili çoklu ajan sisteminin, üç boyutlu sıkıştırılamaz Navier-Stokes denklemlerinin sonlu zamanda tekillikler oluşturabileceğini başarıyla kanıtladığını ve böylece bu yüzyılın problemini çözdüğünü duyurdu. Kanıt, OpenAI içinde GPT-6 Astra'dan daha güçlü bir model tarafından yürütüldü ve 5 Eylül'de ön sonuçlar elde edildi, ardından 17 saatlik Lean biçimsel doğrulaması yapıldı. OpenAI, kanıtın, pürüzsüz dış kuvvetlerin etkisi altında, durağan bir akışkanın içe doğru sarmal ve gerilen girdap yapılarına dönüşebileceğini, enerjinin sonlu kalırken hızın sınırsız büyüdüğünü ve bunun Milenyum Ödül Problemleri'ndeki "C" ve "D" durumlarına karşılık geldiğini gösterdiğini belirtti. Tüm çözüm süreci yaklaşık 10.000 eşzamanlı ajan içeriyordu, yaklaşık 2,7 milyon mesaj gönderildi ve yaklaşık 130 milyar çıktı tokeni tüketildi. OpenAI, bu girişimin, Anthropic çalışanı Levent Alpöge ve NYU profesörü Tristan Buckmaster'ın paralel çalışmalarına dair söylentilerden ilham aldığını kabul etti ve iki tarafın Euler denklemlerinin düzenlilik problemi hakkında farklı sonuçlara ulaştığını, OpenAI'nin dış kuvvetlerin olmadığı durumu, diğer tarafın ise dış kuvvetlerin olduğu durumu kanıtladığını belirtti.