OpenAI, yapay zekâ modellerinin matematikte uzun süredir araştırılan problemleri çözdüğünü, bilgisayar biliminde kabul gören varsayımla çelişen algoritma geliştirdiğini modern fiziğin temelindeki teoriler için matematiksel kanıtlar ürettiğini açıkladı. Şirketin duyurduğu çalışmalar; Kakeya problemi, Üstel Zaman Hipotezi kuantum alan teorilerinin matematiksel temelleri gibi farklı araştırma alanlarını kapsıyor. OpenAI, sonuçların güvenilirliğini değerlendirmek amacıyla bağımsız bilim insanlarını sürece dahil ederken bazı kanıtları incelemeye açıyor, fizik çalışmasının tüm ayrıntılarını ise henüz mıyor.

OpenAI Yapay Zekâ Modelleri Matematikte Zor Problemleri Çözüyor

OpenAI’ın matematik alanındaki ilk çalışması, dalgaların uzayda yayılma biçimini anlamaya yardımcı olan matematiksel problemler üzerine odaklanıyor. Şirket, geliştirdiği modelin söz konusu problemi iki daha fazla boyuttaki tüm durumlar için çözdüğünü öne sürüyor. Araştırmanın Kakeya problemi Stein’in kısıtlama problemi hakkında önemli sonuçlar içerdiği belirtiliyor.

Kakeya problemi, matematik dünyasında uzun süredir araştırılan güç problemlerinden biri olarak biliniyor. New York Üniversitesi profesörü Hong Wang, problemin üç boyutlu durumuyla ilgili çalışmaları nedeniyle kısa süre önce Fields Madalyası’na layık görülmüştü. OpenAI ise kendi araştırmasının daha geniş kapsam taşıdığını farklı boyutlardaki durumları ele aldığını savunuyor.

Şirket, yapay zekâ tarafından hazırlanan matematiksel kanıtı GitHub üzerinden yayımlayarak araştırmacıların incelemesine sundu. Ancak kanıtın kamuya açık ılması, matematik topluluğunun sonucu bağımsız biçimde doğruladığı anlamına gelmiyor. Çalışmanın bilimsel geçerliliği, uzmanların ayrıntılı incelemesiyle netlik kazanacak.

OpenAI’ın ikinci çalışması, bilgisayar biliminde hesaplama karmaşıklığına ilişkin önemli varsayımlardan biri olan Üstel Zaman Hipotezi’ni hedef alıyor. 1999 yılında ortaya atılan hipotez, belirli problem sınıflarının çok daha hızlı çalışan algoritmalarla çözülemeyeceğini öne sürüyor.

Şirket, özellikle 3-SAT adı verilen mantıksal problem üzerinde elde ettiği sonuçların söz konusu varsayımla çeliştiğini belirtiyor. 3-SAT problemi, belirli mantıksal ifadelerin hangi değişken atamaları altında doğru olabileceğini belirlemeye dayanıyor. OpenAI’ın açıklamasına göre geliştirilen algoritma, tür problemlerin çözümlerini mevcut beklentilerin ötesinde hızla hesaplayabiliyor.

İddianın değerlendirilmesi için bilgisayar bilimcileri Russell Impagliazzo, Ramamohan Paturi Ryan Williams görevlendirildi. Impagliazzo Paturi, hipotezin ortaya atıldığı araştırma sürecinde rol almıştı. OpenAI, çalışmanın matematiksel kanıtını uzmanların incelemesi amacıyla GitHub üzerinden tı.

Araştırmanın doğrulanması, algoritmanın performansının yanı sıra kullanılan matematiksel yaklaşımın varsayımlarla nasıl çeliştiğinin ayrıntılı biçimde incelenmesini gerektiriyor. Sonucun bağımsız uzmanlar tarafından doğrulanması halinde çalışma, hesaplama karmaşıklığı alanındaki temel kabullerin yeniden değerlendirilmesine yol açabilir.

Şirketin üçüncü çalışması, modern parçacık fiziğinin temelini oluşturan kuantum alan teorilerine odaklanıyor. OpenAI, dört boyutlu uzay-zamanda belirli kuantum alan teorilerinin matematiksel olarak var olabileceğini kanıtladığını öne sürüyor.

Araştırmanın, atom çekirdeğindeki parçacıkları arada tutan güçlü nükleer kuvveti açıklayan kuantum renk dinamiğiyle (QCD) bağlantılı olduğu belirtiliyor. Çalışmanın ayrıca parçacık fiziğinin temel çerçevesi olan Standart Model’in matematiksel temellerinin daha kapsamlı biçimde ele alınmasına katkı sağlaması hedefleniyor.

OpenAI, fizik araştırmasının tüm ayrıntılarını henüz yayımlamadı. Çalışmayı değerlendirmek üzere fizikçi David Gross liderliğinde Michael Douglas, Arthur Jaffe, Igor Klebanov Nikita Nekrasov’un yer aldığı uzman ekibi oluşturuldu. Araştırmanın bilimsel öneminin anlaşılması, kanıtın ayrıntılarının ılmasına bağımsız uzmanların değerlendirmelerine bağlı kalacak.

OpenAI’ın duyuruları, yapay zekâ sistemlerinin bilimsel araştırmalardaki rolünün yanı sıra ortaya çıkan sonuçların nasıl denetlenmesi gerektiği sorusunu gündeme taşıyor. Şirket, bazı araştırmalar için bağımsız uzmanların değerlendirmelerinden yararlanırken bilimsel sonuçların daha geniş araştırmacı toplulukları tarafından incelenmesini amaçlıyor.

Ancak belirli uzmanlara öncelikli erişim verilmesi, bilimsel değerlendirme sürecinde eşitsizlik oluşturabileceği gerekçesiyle eleştiriliyor. OpenAI’ın matematik danışmanlarından oluşan AGMAI paneli, çalışmaların bilimsel arşivlerde herkese açık biçimde ılmasını öneriyor. Panel ayrıca matematiksel kanıtların denetlenmesini kolaylaştıran araçların geliştirilmesini sonuçları doğrulamak için çalışan araştırmacıların desteklenmesini savunuyor.

Bilgisayar bilimi çalışmasını inceleyen uzman ekip bilim dünyasına açık mektup yayımlayarak yapay zekâ destekli keşiflerin değerlendirilmesi konusunda görüş istedi. Araştırmacılar, bilimsel sonuçlarda insan katkısının nasıl belirleneceği, kanıtların nasıl denetleneceği çalışmaların hangi yöntemlerle ılacağı gibi konulara yanıt aranmasını talep ediyor.

OpenAI’ın duyurduğu üç çalışma, yapay zekânın bilimsel araştırmalarda üstlenebileceği rol açısından önemli iddialar içeriyor. Ancak matematiksel kanıtların bağımsız incelemeden geçmesi, algoritmanın sonuçlarının doğrulanması fizik çalışmasının ayrıntılarının yayımlanması, iddiaların bilimsel etkisini belirleyecek temel aşamalar olarak öne çıkıyor.