OpenAI Navier‑Stokes Milenyum Problemini çözdüğünü açıkladı

OpenAI, 8 Eylül 2026'da yaptığı açıklamada Navier‑Stokes Milenyum Problemi için yapay zekâ tabanlı bir çözüm ürettiğini duyurdu. Şirkete göre çözüm yaklaşık 10.000 eşzamanlı yapay zekâ ajanın 88 saatlik çalışmasıyla bulundu; Lean ile biçimsel doğrulama ise 17 saat sürdü. Açıklamada toplam mesaj sayısı ve kullanılan çıktı token miktarı olarak yaklaşık 2,7–3 milyon mesaj ve 130 milyar token paylaşıldı; şirket Milenyum Ödülü'nü talep etmediğini belirtti.

New York Üniversitesi'nden Tristan Buckmaster ve Anthropic'ten Levent Alpöge, OpenAI'ın kendi ve onların üzerinde çalıştığı yaklaşıma benzeyen bir ispat sunduğunu iddia etti. Buckmaster, paylaşılan Codex oturumlarının modele erişip erişmediğini sorguladı; OpenAI iddiayı reddetti ama kimliksizleştirilmiş kullanıcı verilerinin dolaylı katkı yapma olasılığının düşük olduğunu söyledi. Clay Matematik Enstitüsü ve bağımsız matematikçilerin incelemesi devam ediyor.

Kaynaklar3 kaynak