Matematiğin en önemli açık problemlerinden biri kabul edilen Navier–Stokes, Clay Matematik Enstitüsü tarafından belirlenen 7 Milenyum Ödülü Problemi arasında bulunuyor. Problemin kabul edilen çözümü için 1 milyon dolarlık ödül bulunuyor. OpenAI ise ödülü talep etmeyi planlamadığını açıkladı.
Çalışmanın ölçeği ise en az sonuç kadar dikkat çekici. OpenAI'ın açıklamasına göre, GPT-6 Astra'dan daha yetenekli olduğu belirtilen henüz yayımlanmamış dahili bir model tarafından desteklenen yaklaşık 10 bin yapay zekâ ajanı eş zamanlı olarak çalıştı. Ajanlar farklı çözüm yollarını araştırırken birbirleriyle iletişim kurdu ve kod çalıştırma gibi araçlardan yararlandı.
Navier–Stokes çalışması sırasında ajanlar yaklaşık 2,7 milyon mesaj gönderdi ve 130 milyar çıktı tokenı üretti. İlk ajanların çalışmaya başlamasından yaklaşık 88 saat sonra çözüme ulaşıldı. Ardından ortaya çıkan kanıtın Lean sistemiyle biçimselleştirilmesi ve doğrulanması için GPT-6 Astra 17 saat daha çalıştı.
OpenAI'ın yayımladığı sonuç, düzgün başlayan üç boyutlu bir akışkan hareketinin belirli koşullarda sonlu zamanda tekillik geliştirebileceğini ortaya koyan matematiksel bir kanıt içeriyor. Şirket hem analitik kanıtı hem de Lean ile biçimselleştirilmiş sürümünü yayımladı.
Gelişmenin dikkat çeken yönlerinden biri de yapay zekânın kullanım biçimi. Burada tek bir modele soru sorulmasından ziyade, binlerce yapay zekâ ajanının farklı yolları araştırdığı, bulgularını paylaştığı ve ortak bir probleme yoğunlaştığı dijital bir araştırma laboratuvarı modeli ortaya çıkıyor.
Bununla birlikte, matematik dünyasında böyle büyük bir iddianın bağımsız uzmanlar tarafından ayrıntılı biçimde incelenmesi ve resmî ödül sürecinden geçmesi gerekiyor. Sonuç şimdiden yapay zekânın gelecekte bilimsel keşiflerde nasıl kullanılabileceğine ilişkin önemli bir örnek oluşturuyor.
