OpenAI Navier-Stokes kanıtını duyurdu, emeğin kime ait olduğu tartışılıyor

OpenAI, Clay Matematik Enstitüsü'nün yedi Milenyum Problemi'nden biri olan Navier-Stokes varlık ve düzgünlük probleminde bir çözüm ürettiğini açıkladı. Şirkete göre kanıt, 28 Ağustos'ta eğitilmeye başlanan ve kamuya sunulmayan bir modelle, yaklaşık 10 bin eşzamanlı ajanın 88 saatlik çalışmasıyla elde edildi; yalnızca bu problem için 2,7 milyon mesaj ve yaklaşık 130 milyar çıktı token'ı üretildi. Lean ile biçimsel doğrulama 17 saat sürdü. Araştırma lideri Mark Chen hesaplama maliyetini milyonlarca dolar olarak tanımladı.

New York Üniversitesi'nden Tristan Buckmaster ile Anthropic'te çalışan Levent Alpöge, benzer bir yaklaşımla yaklaşık bir yıldır çalıştıklarını ve taslaklarını OpenAI'ın Codex ürününe yüklediklerini belirtti. OpenAI, problemi çözmek için belirli bir kullanıcı verisine erişilmediğini söylüyor; kimliksizleştirilmiş kullanım verilerinin modellerini iyileştirmiş olma ihtimalini ise dışlamıyor. Matematikçi Terence Tao, olayın açık bilim geleneğine zarar verebileceği uyarısında bulundu.