ME Haberleri'ne göre, 9 Eylül (UTC+8), OpenAI, yaklaşık 90 yıldır çözülmemiş olan milenyum ödül sorularından biri olan Navier-Stokes varlık ve düzgünlük sorununu çözdüğünü duyurdu.
Bu kanıt, GPT-6 Astra'dan önemli ölçüde daha güçlü bir OpenAI nesil modeli kullanılarak bir dizi agenin eşzamanlı çalışmasıyla tamamlandı; OpenAI, yaklaşık 10.000 agenin 88 saat boyunca paralel olarak çalıştığını ve ardından GPT-6 Astra'nın Lean teorem ispatlayıcısında 17 saatte formel doğrulama yaptığını belirtti. Kanıt, üç boyutlu akışkan hareketinin sonlu bir zaman içinde tekil noktalar oluşturabileceğini gösteriyor: girdaplar içeri doğru daralıyor, çekirdek uzuyor ve hız sınırsızlaşıyor, ancak sistem toplam enerjisi sınırlı kalıyor. OpenAI, 165 sayfalık kanıt metnini ve Lean formel kodunu kamuoyu ile paylaştı ve 1 milyon dolarlık ödül talep etmeyeceğini açıkladı. Şu anda Clay Matematik Enstitüsü, kurallara göre çözümün uygun bir dergide yayımlanıp en az iki yıl boyunca saklanması ve matematik topluluğu tarafından genel olarak kabul edilmesi gerekmektedir; bu nedenle bu soruyu hâlâ çözülmemiş olarak listelemektedir. (Kaynak: X)
