OpenAI’nin Matematiksel İlerlemeleri: Navier-Stokes ve Ötesi

OpenAI’in son açıklamasına göre, yapay zekanın farklı matematiksel alanlarda elde ettiği 377 yeni sonuç, kaynakların kamuya açık olmaya başladığı bir süreçte kaydedildi. Bu sonuçlar, akışkanların hareketini inceleyen Navier-Stokes denklemlerinin çözülebilirliğine dair iddiaların ardından geldi.

Şirket, cebir, sayı teorisi, teorik bilgisayar bilimi, mantık ve topoloji gibi disiplinlerdeki problemler için yapay zekanın ürettiği yeni bulguları paylaştı. Her bir sonucun elde edilmesinin yaklaşık üç saat sürdüğü belirtiliyor ve kanıtların doğruluğu Lean adlı formal doğrulama dilinde denetleniyor.

Açıklamada, bilim dünyasına sunulacak çalışmalar için veri havuzunun genişletileceği ve ilerleyen dönemde atölye, konferans gibi etkinliklerle paylaşımların destekleneceği vurgulandı. Aynı zamanda yapay zekanın ürettiği sonuçların anlaşılmasını kolaylaştırmak amacıyla özetler yayımlandı ve bu özetler üzerinden nasıl ulaşıldığının izleri paylaşılacak.

OpenAI, Navier-Stokes probleminin çözümüne dair önceki açıklamalarıyla da dikkat çekmişti. Eylül 2026’da yaklaşık 90 yıllık bir matematik sorununu, 10 bin yapay zeka aracından oluşan bir ekip ve yaklaşık 88 saatlik bir süreçle çözdüğü bildirilmişti. Bu çabada 3 milyon mesaj ve 130 milyar veri kullanıldığı ifade edilmişti.