OpenAI Navier-Stokes problemini çözdüğünü açıkladı

OpenAI, yayımlanmamış bir yapay zeka modelini kullanarak Milenyum Ödüllü Problemler arasında yer alan Navier-Stokes varlık ve pürüzsüzlük problemini çözdüğünü duyurdu. Şirketin otonom yazılım ajanları, 1 Eylül 2026 tarihinde başlatılan çalışmada yaklaşık 88 saat içinde çözüme ulaştı. Matematiksel kanıtın Lean dilindeki biçimsel doğrulaması ise GPT-6 Astra modeliyle 17 saat sürdü. Tüm süreçte ajanlar 2,7 milyon mesaj gönderdi ve yaklaşık 130 milyar çıktı belirteci kullandı.

Bu gelişme, New York Üniversitesi matematik profesörü Tristan Buckmaster ve Anthropic çalışanı matematikçi Levent Alpöge'nin intihal suçlamalarıyla tartışmalı hale geldi. İkili, yaklaşık bir yıldır Claude ve OpenAI Codex sistemlerini kullanarak aynı problem üzerinde çalıştıklarını ve 15 Ağustos'ta önemli bir ilerleme kaydettiklerini belirtti. Buckmaster, OpenAI modellerine girdikleri taslak verilerinin şirketin yeni modelinin eğitiminde kullanılmış olabileceğine yönelik endişelerini dile getirdi ve OpenAI yönetiminin bu konudaki soruları net yanıtlamadığını aktardı.

OpenAI ise araştırmacıların özel kullanıcı verilerine doğrudan erişmediklerini ancak anonimleştirilmiş verilerin modelleri eğitmiş olma ihtimalini tamamen göz ardı edemeyeceklerini açıkladı. Şirket, matematik dünyasında dolaşan çözüm söylentilerini duyduktan sonra kendi modellerini test etmek amacıyla tüm açık Milenyum problemlerine yönelik bu girişimi başlattığını savundu. Tarafların ürettiği matematiksel kanıtların teknik ayrıntılarda birbirinden farklılaştığı ifade edildi.