OpenAI, henüz kamuya açılmamış bir yapay zeka sistemiyle matematiğin en zorlu açık problemlerinden birine çözüm bulunduğunu öne sürdü. Şirketin paylaştığı bilgiye göre yaklaşık 10 bin yapay zeka ajanı paralel biçimde çalıştı ve ortaya çıkan ispat 88 saat içinde üretildi.
Söz konusu çalışma, Clay Mathematics Institute’un 2000 yılında duyurduğu Milenyum Problemleri arasında yer alan Navier-Stokes varlık ve düzgünlük problemiyle ilgili. Bu problem, akışkanların hareketini tanımlayan denklemlerin belirli koşullar altında her zaman düzgün çözümler üretip üretmediğini sorguluyor. OpenAI ise hazırladığı makalede, bu denklemlerin sonlu zamanda tekillik geliştirebildiğini gösteren bir sonuca ulaştığını söylüyor.
Şirketin açıklamasına göre çalışma 1 Eylül 2026’da başladı. Farklı ajan grupları paralel olarak çeşitli yollar denedi. Ardından elde edilen bulgular bir araya getirildi ve en güçlü fikirler tek bir hatta toplandı. OpenAI, Navier-Stokes sonucuna 5 Eylül’de, ilk ajanların devreye alınmasından yaklaşık 88 saat sonra ulaşıldığını belirtiyor.
Paylaşılan bilgilere göre ispat daha sonra Lean adlı biçimsel doğrulama sistemine de aktarıldı. Bu adım, matematiksel argümanın bilgisayar tarafından adım adım kontrol edilmesini sağlıyor. Yine de bu, sonucun kesin olarak kabul edildiği anlamına gelmiyor. Asıl belirleyici olan, bağımsız matematikçilerin makaleyi incelemesi olacak.
Haberde dikkat çeken nokta da tam olarak bu. OpenAI’nin iddiası doğru çıkarsa, yapay zekanın yalnızca ikna edici görünen yanıtlar üretmekten öteye geçtiği ve gerçekten yeni matematiksel sonuçlara katkı sunabildiği daha güçlü biçimde gösterilmiş olacak. Ancak böyle büyük bir iddianın kabul görmesi için akademik denetim sürecinin tamamlanması gerekiyor.
Öte yandan konu yalnızca teknik başarıyla sınırlı değil. Bazı araştırmacılar, benzer başlıklar üzerinde çalışan dış matematikçilerin çalışmalarıyla olası fikir benzerlikleri ve kredi paylaşımı konusunda da soru işaretleri olduğunu söylüyor. Bu yüzden önümüzdeki dönemde hem ispatın geçerliliği hem de çalışmanın bilimsel arka planı yakından tartışılacak gibi görünüyor.
Kaynak: www.techspot.com