OpenAI, geliştirmekte olduğu yeni yapay zekâ modelinin matematiğin farklı alanlarında uzun süredir açık olan 100'den fazla probleme çözüm ürettiğini açıkladı. Şirket, yapay zekânın matematik araştırmalarındaki artan rolünü değerlendirmek üzere Princeton'daki Institute for Advanced Study bünyesinde bağımsız bir Matematik ve Yapay Zekâ Danışma Grubu oluşturulduğunu da duyurdu.
Yapay zekâ teknolojilerindeki gelişmeler bilimsel araştırmalara da hızla yansıyor. OpenAI'ın son açıklaması, özellikle matematik alanında yapay zekâ modellerinin ulaşabileceği seviyeye ilişkin yeni bir tartışmayı beraberinde getirdi.
Şirketin açıklamasına göre 28 Ağustos'ta eğitimine başlanan yeni şirket içi model, matematiğin farklı alanlarında 100'den fazla uzun süredir çözülemeyen açık probleme yönelik sonuçlar elde etti.
OpenAI, matematik alanındaki gelişmelerin hızının şirket bünyesindeki matematikçileri de şaşırttığını belirtti.
OpenAI'dan 100'den Fazla Matematik Problemi Açıklaması
OpenAI'ın üzerinde çalıştığı yeni model henüz genel kullanıma sunulmuş değil. Şirket, modelin eğitim sürecinin devam ettiğini ve matematik alanında dikkat çekici performans gösterdiğini bildiriyor.
OpenAI'a göre aynı şirket içi model, matematiğin birçok farklı alanında 100'den fazla uzun süredir açık probleme çözüm üretti.
Bu sonuçların bilim dünyasına nasıl aktarılacağı ve matematikçiler tarafından nasıl değerlendirileceği ise yeni oluşturulan danışma grubunun ilgileneceği temel konular arasında bulunuyor.
Navier–Stokes Problemine Yapay Zekâ Çözümü
OpenAI'ın son dönemdeki en dikkat çekici matematik açıklamalarından biri Navier–Stokes varlık ve düzgünlük problemi hakkında oldu.
Clay Mathematics Institute tarafından belirlenen yedi Milenyum Ödülü Problemi arasında bulunan Navier–Stokes problemi, yaklaşık 90 yıldır matematikçilerin üzerinde çalıştığı önemli problemlerden biri.
OpenAI, 8 Eylül'de şirket içi yapay zekâ sisteminin Navier–Stokes denklemlerinde sonlu zamanda tekillik oluşabileceğini gösteren bir kanıt geliştirdiğini duyurdu.
Şirket, matematiksel kanıtın açıklamasının yanı sıra Lean üzerinde hazırlanmış biçimsel doğrulamasını da yayımladı.
OpenAI'ın açıkladığı sonuç önemli bir gelişme olmakla birlikte, böylesine büyük matematiksel sonuçların bilim dünyasındaki kabulü bağımsız matematikçiler tarafından gerçekleştirilecek ayrıntılı inceleme ve doğrulama süreçlerine bağlı bulunuyor.
Binlerce Yapay Zekâ Ajanı Birlikte Çalıştı
Navier–Stokes problemi üzerinde gerçekleştirilen çalışma, tek bir yapay zekâ modeline soru sorulması şeklinde ilerlemedi.
OpenAI'ın paylaştığı bilgilere göre şirket içi model tarafından desteklenen çok sayıda koordineli yapay zekâ ajanı farklı çözüm yolları üzerinde paralel olarak çalıştı.
Navier–Stokes araştırmasında yaklaşık 10 bin eş zamanlı ajan kullanıldı.
Ajanların elde ettiği farklı bulgular daha sonra bir araya getirildi ve çözüm üzerinde çalışmaya devam edildi. OpenAI, sistemin Navier–Stokes sonucuna ilk ajanların çalışmaya başlamasından yaklaşık 88 saat sonra ulaştığını açıkladı.
Lean ile gerçekleştirilen biçimsel doğrulama süreci ise 17 saat daha sürdü.
Matematik ve Yapay Zekâ Danışma Grubu Kuruldu
OpenAI, matematik alanındaki hızlı gelişmelerin ardından bağımsız bir danışma yapısının oluşturulduğunu da duyurdu.
Advisory Group on Mathematics and Artificial Intelligence (Matematik ve Yapay Zekâ Danışma Grubu) adı verilen yapı, Princeton'daki Institute for Advanced Study tarafından ağırlanacak.
Grubun temel amaçlarından biri yapay zekâ sistemleri tarafından ortaya çıkarılan yeni matematiksel sonuçların öneminin değerlendirilmesi ve bunların akademik toplulukla nasıl paylaşılacağı konusunda görüş sunmak olacak.
Danışma grubunda farklı üniversite ve araştırma kurumlarından dokuz matematikçi yer alıyor.
Danışma Grubu OpenAI'dan Bağımsız Çalışacak
OpenAI'ın açıklamasına göre danışma grubu şirketten bağımsız hareket edecek.
Üyeler OpenAI'dan ücret almayacak ve şirket talep etmese bile görüş ve eleştirilerini açıklayabilecek. Grup ayrıca OpenAI'ın matematik dünyası üzerindeki etkisine ilişkin değerlendirmelerini kamuoyuyla paylaşabilecek.
Bununla birlikte danışma grubunun OpenAI'ın şirket içindeki matematik araştırmalarının hızını belirleme veya çalışmaların yönünü değiştirme yetkisi bulunmayacak.
Amaç, matematik topluluğu ile yapay zekâ araştırmaları arasında daha güçlü bir iletişim mekanizması oluşturmak.
Yapay Zekâ Matematik Araştırmalarında Yeni Bir Dönem Başlatabilir
OpenAI'ın son çalışmaları, yapay zekâ modellerinin yalnızca bilinen matematik problemlerini çözmek veya mevcut yöntemleri uygulamak yerine, açık araştırma problemleri üzerinde de kullanılabileceğini gösteren yeni örnekler ortaya koyuyor.
Şirket daha önce de matematik ve teorik bilgisayar biliminde uzun süredir araştırılan problemlere ilişkin çeşitli sonuçlar yayımlamıştı.
Yeni modelin 100'den fazla açık probleme yönelik sonuç ürettiğinin açıklanması ise yapay zekânın bilimsel araştırmalardaki potansiyel rolüne ilişkin tartışmaları daha ileri bir noktaya taşıdı.
Bundan sonraki süreçte açıklanan sonuçların bağımsız matematikçiler tarafından incelenmesi, doğrulanması ve mevcut akademik çalışmalarla ilişkisinin değerlendirilmesi önem taşıyacak.
