OpenAI, yaklaşık 10.000 ajanın 88 saat boyunca birlikte çalışmasının ardından yayınlanmamış, deneysel bir yapay zeka sisteminin matematiğin en ünlü çözülmemiş problemlerinden birini çözdüğünü söyledi.
Şirket, Navier-Stokes varoluş ve düzgünlük problemine ilişkin bir önerilen çözüm yayınladı, 1 milyon dolarlık ödül sunan yedi Millennium Ödül Problemi'nden biri. Denklemler, su ve hava gibi akışkanların nasıl hareket ettiğini açıklar; çözülmemiş soru ise mükemmel şekilde düzgün bir akışın sonunda bozulup sınırsız şekilde artan hızlar üretip üretmeyeceğini sorar.
OpenAI’nin sistemi bunu yapabileceğini söylüyor. Kanıtı, sonlu bir sürede hızının patladığı, ancak sistemin toplam enerjisinin sonlu kaldığı bir akışkan girdabını tanımlıyor.
Güncel fizik anlayışına göre gerçek akışkanlar sonsuz hızda hareket edemez. Yeterince aşırı ölçeklerde, Navier-Stokes'un bir akışkanın sürekli bir madde olarak ele alınabileceğini varsayması, fiziksel gerçeklikle eşleşmeyi durduracaktır.
Sonuç, OpenAI'nin GPT-6 Astra'dan (en gelişmiş kamuoyuna açık modeli) önemli ölçüde daha yetenekli olduğunu söylediği bir dahili modelden geldi. Yaklaşık 10.000 agen, Astra'nın kanıtı resmileştirip kontrol etmek için ek 17 saat harcamadan önce Navier-Stokes üzerinde çalışırken 2,7 milyon mesaj değiştirdi ve yaklaşık 130 milyar token üretti.
Ancak kanıtın pratik etkisi zaman alacaktır. Navier-Stokes denklemleri, uçak tasarımı, hava tahmini ve kan akışı araştırmaları gibi alanlarda kullanılmaktadır; bu denklemlerin nerede bozulabileceğine dair daha iyi bir anlayış, sonunda bilim insanlarının aşırı ve türbülanslı akışları modellemesini iyileştirebilir.
Bulunan şeyin daha büyük etkisi, onu keşfeden sistem olabilir. Binlerce yapay zeka ajanı, 90 yıllık bir matematik problemine birkaç gün içinde saldırebiliyorsa, aynı yaklaşım nihayetinde malzeme bilimi, enerji, havacılık, tıp ve diğer alanlardaki zor problemlere dönüştürülebilir.
Sonucun ne kadar bağımsız şekilde ulaşıldığı üzerine zaten tartışmalar var.
NYU matematikçisi Tristan Buckmaster ve Anthropic araştırmacısı Levent Alpöge, birbirine yakın bir akışkanlar dinamiği problemi üzerinde ayrı ayrı çalışmış ve araştırmaları sırasında AI araçları kullanmışlardır. Buckmaster, yayınlanmamış çalışmanın OpenAI ürünlerine girip girmediğini ve bunun şirketin modelini etkileyip etkilemediğini, sosyal ağ Mastodon'da bir dizi gönderide sorgulamıştır.
Buckmaster, Alpöge ile birlikte, Codex'in de dahil olduğu birçok AI aracının yoğun olarak kullanıldığı, düzgün bir dış kuvvet içeren bir soruna yönelik eşsiz bir yol izlemek için yaklaşık bir yıl harcadı.
Bilinen başka neredeyse kimse aynı yaklaşımı takip etmiyordu ve OpenAI'nin çiftin ilerleme kaydettiğini öğrenmesinden günler içinde bunu nasıl başardığını sordu.
Buckmaster, OpenAI ile yapılan görüşmeler sırasında ilk olarak bir istem gösterildiğini ve şirketin iç araştırma çabasının insan girişi olmadan, sadece problem tanımıyla başladığını söyledi.
Buckmaster'e göre, bu hesap konuşma boyunca değişti ve OpenAI nihayetinde, Buckmaster ve Alpöge'nin çalışmalarına dair bilgiler şirketin dikkatini çektikten sonra ilk isteğin yalnızca önceki günlerde gönderildiğini kabul etti.
OpenAI, araştırmacılarının veya ajanslarının yayın öncesi çalışmalarını görmediğini ve hiçbir özel kullanıcı verisine erişilmediğini belirtti. Şirket, OpenAI ürünlerini kullanmaları sonucu elde edilen kimliği kaldırılmış verilerin modellerinin geliştirilmesine yardımcı olma olasılığını tamamen dışlayamadığını, ancak kanıtların kendilerinin önemli ölçüde farklı olduğunu ekledi.
Bu nedenle, kanıt henüz resmen kabul edilmiş bir çözüm değildir. Ödül veren Clay Matematik Enstitüsü, önerilen çözümlerin uzun süreli incelemeleri geçip matematikçiler arasında geniş kabul görmesi gerektiğini gerektirir; ancak bu durumda 1 milyon dolarlık ödülün verilmesini göz önünde bulundurur.
Aynı zamanda OpenAI, ödülü talep etmeyi amaçlamadığını belirtiyor ve sonucu, araştırma sistemlerinin ne kadar hızlı geliştiğinin kanıtı olarak tanımlıyor.