OpenAI araştırmacıları Salı 8 Eylül sabahı, halka açık olmayan ileri bir model üzerinde çalışan 10.000 otonom ajan grubunun üç boyutlu Navier-Stokes denklemlerinde bir tekil nokta (singularity) tespit ettiğini duyurdu.

Sonuç, Lean programlama dilinde resmi olarak doğrulandı; bu da kanıtın matematiksel olarak geçerli olabileceğine güven verir.

Eğer daha ileri incelemeye dayanırsa, yapay zeka tarafından elde edilen en önemli matematiksel kanıt olacak ve zor problemlerin çözümünde bir dönüm noktası oluşturacaktır.