OpenAI 90 Yıllık Matematik Gizemini Yapay Zeka ile Çözdü

Teknoloji dünyasının önde gelen isimlerinden OpenAI, matematiğin en karmaşık ve uzun süredir yanıt bekleyen sorularından biri olan Navier-Stokes Problemi'ni çözdüğünü kamuoyuyla paylaştı. Yaklaşık 90 yıldır matematikçileri uğraştıran bu mesele, Clay Matematik Enstitüsü tarafından 2000 yılında belirlenen ve her biri 1 milyon dolar ödüllü yedi büyük 'Milenyum Problemi' arasında yer alıyor.

Bu gelişme, yapay zekanın sadece veri işleme değil, aynı zamanda özgün matematiksel kanıtlar üretme potansiyelini gözler önüne serdi. Sıvı ve gazların hareket dinamiklerini anlamak adına kritik bir öneme sahip olan Navier-Stokes denklemleri; havacılık mühendisliğinden meteorolojik tahminlere, biyomedikal araştırmalardan kan akış analizlerine kadar geniş bir yelpazede kullanılıyor.

Sistemin temel odak noktası, üç boyutlu bir akışın başlangıçta düzenli bir formda olsa dahi, zaman içerisinde bir 'tekillik' noktasına evrilip evrilmeyeceği sorusuydu. OpenAI'nin geliştirdiği yapay zeka sistemi, başlangıçta hareketsiz ve düzgün olan bir akışın, belirli bir süre sonunda bu tekilliğe ulaşabileceğini analitik olarak kanıtladı.

Çözüm süreci, devasa bir hesaplama gücü ve koordinasyon gerektirdi. OpenAI, bu problemi çözmek için yaklaşık 10 bin yapay zeka ajanının eşzamanlı olarak çalıştığı bir mimari kurguladı. Toplamda 88 saat süren yoğun çalışma boyunca ajanlar arasında 2,7 milyon mesaj trafiği yaşandı ve 130 milyar çıktı tokenı üretildi.

Elde edilen çözüm, akışın merkezinin küçülürken hızının arttığı, ancak toplam enerjinin sonlu kaldığı, giderek uzayan ve hızlanan bir girdap yapısına dayanıyor. Elde edilen bulguların doğruluğunu teyit etmek amacıyla şirket, matematiksel kanıtların bilgisayar destekli kontrolünü sağlayan 'Lean' sistemini devreye soktu.

Lean üzerinden gerçekleştirilen biçimsel doğrulama süreci ise 17 saatlik ek bir çalışma gerektirdi. Bu titiz süreç, yapay zekanın karmaşık bilimsel problemleri çözme kapasitesindeki güvenilirliği artırmayı hedefliyor. OpenAI yetkilileri, bu çalışmanın temel amacının Milenyum Ödülü'nü kazanmak olmadığını, aksine yapay zeka destekli bilimsel araştırmaların ulaştığı seviyeyi göstermek olduğunu belirtti.

Şirket, bu başarının akademik dünyada yapay zekanın yeni matematiksel sonuçlar üretme kapasitesine dair süregelen tartışmaları yeniden şekillendireceğini öngörüyor. Çalışma, yapay zekanın sadece mevcut bilgiyi işlemekle kalmayıp, insanlığın on yıllardır çözemediği teorik engelleri aşabileceğini kanıtlayan bir dönüm noktası olarak değerlendiriliyor.