OpenAI 88 saatte Navier-Stokes kanıtını tamamladı

OpenAI'nin iç sistemi, matematiğin en zorlu problemlerinden biri kabul edilen Navier-Stokes Milenyum Problemi için bir çözüm ürettiğini ve bu çözümün Lean dilinde biçimsel kanıtını yayımladığını duyurdu.

Şirketin resmi açıklamasına göre, düzgün bir dış kuvvetin etkidiği durumda başlangıçta durgun halde bulunan üç boyutlu sıkıştırılamaz bir akışkan, sonlu bir süre içinde 'tekillik' oluşturabiliyor; bu sürecin tamamında enerji ise sonlu kalıyor. OpenAI, bulunan sonucun Clay Matematik Enstitüsü'nün resmi problem tanımındaki C ve D önermelerini karşıladığını belirtti. Şirket, çalışmayı ve Lean biçimsel kanıtını internet sitesinde birlikte yayımladı.

OpenAI, çözümü GPT-6 Astra modelinden çok daha güçlü bir iç modelle elde ettiğini açıkladı. Yaklaşık 10 bin paralel yapay zeka ajanı, çözüme ulaşmak için yaklaşık 88 saat çalıştı. Bu süre boyunca ajanlar birbirleriyle 2,7 milyon mesaj paylaştı ve toplamda yaklaşık 130 milyar çıktı token'ı üretti. Lean biçimlendirmesi ve doğrulama aşaması için ayrıca 17 saat daha harcandı. OpenAI, bu sonuçla Milenyum Ödülü'ne başvurmayı planlamadığını da sözlerine ekledi.