OpenAI, 90 yıllık Navier–Stokes Milenyum Problemi'ne AI ile çözüm bulduğunu duyurdu — matematik camiası tartışıyor
OpenAI, 8 Eylül'de, sıvı hareketini tanımlayan Navier–Stokes denklemlerinin varlık/düzgünlük problemine (Milenyum Problemleri'nden biri, $1 milyon ödüllü) kendi iç modeliyle çözüm ürettiğini açıkladı: Başlangıçta düzgün bir akışın, sonlu sürede tekillik geliştirebileceğini gösterdi. OpenAI'ye göre çözüm ~10.000 eşzamanlı ajanın çalışmasıyla 5 Eylül'de bulundu, kanıt Lean'de biçimselleştirildi ve makale+proof GitHub'da yayınlandı; şirket Milenyum ödülünü talep etmediğini belirtiyor. Ancak haber tartışmasız değil: OpenAI'nin açıklamasında Tristan Buckmaster olarak geçen NYU'lu matematikçinin (Anthropic çalışanı Levent Alpöge ile birlikte "forced Euler" problemini çözmüşlerdi) TechCrunch'a göre OpenAI'yi süreçte "kirli oyun oynamakla" suçladığı aktarılıyor; OpenAI iddialara kendi blogunda yanıt verdi.
Neden önemli? AI'ın, 2000'den beri Clay Matematik Enstitüsü'nün açık problemlerinden birini çözmesi, "araştırma hızlanması" iddialarının en somut kanıtı olarak görülüyor; aynı zamanda model sahipliği, eşzamanlı çalışma ve itibar konusundaki tartışmaları da alevlendirdi.