OpenAI, 372 matematik sorununa çözüm yayımladı; bilim insanları şüpheci

OpenAI Salı günü GitHub üzerinden 372 aileye ayrılan 722 matematik makalesini paylaştı. Tüm sonuçlar halka açılmamış dahili bir modelden geliyor ve şirket ortalama her çözüm için üç saatlik hesaplama süresi harcadığını belirtti.

Yayınlananlar arasında Navier-Stokes, Riemann Hipotezi ve Hodge Hipotezi gibi Milenyum Ödül Problemi adayları da var. OpenAI bu sorunlardan hiçbirini tam çözmediğini, ancak ilerleme kaydettiğini itiraf ediyor.

“Model ve istemler yayınlanana kadar tek istemle tek ajan iddiası doğrulanamaz; kanıt istiyoruz.”

Sadece 162 makale (yüzde 22) Lean yazılımıyla bilgisayar kontrolünden geçmiş. MIT'li Andrew Sutherland, model ve istemler (prompt) yayınlanana kadar 'tek istemle tek ajan' iddiasının doğrulanamaz olduğunu vurguladı.

Danışma kurulu (AGMAI) istemlerin de paylaşılmasını önermişti; OpenAI bunu yapmadı. Bu eksiklik, sonuçların tekrarlanabilirliğini sorguluyor.

NYU profesörü Tristan Buckmaster, Codex oturumlarının izinsiz erişildiğini ve Navier-Stokes çözümünün kendi yolunu taklit ettiğini iddia ediyor. TU Dresden'lı Andreas Thom da 27 yıllık bir sorundaki kritik adımın kendi yöntemine benzediğini söylüyor.

Rutgers'lı Alex Kontorovich bir kanıtı 'insan yapsaydı anında Fields Medalı' niteliğinde bulurken, Clay Enstitüsü başkanı Martin Bridson hızı 'etkileyici' buldu. Her iki tarafta da doğrulama olmadan kabul edilemeyeceği vurgusu ortak.