OpenAI Matematik, Bilgisayar Bilimi ve Fizikte Üç Büyük Keşif Açıkladı

OpenAI, Ekim ayında yüzlerce matematik el yazması yayımlamasının ardından bir ay bile geçmeden yeni bir duyuruyla gündeme geldi. Şirket bu kez matematik, bilgisayar bilimi ve fizik alanlarında üç ayrı 'büyük' keşif olarak nitelendirdiği sonuçları GitHub üzerinden kamuoyuyla paylaştı. Ancak bu sefer önemli bir fark var: Bilgisayar bilimi ve fizik bulgularında, OpenAI'ın 'çoban' (shepherd) olarak tanımladığı bağımsız uzman grupları süreci yönlendiriyor. Matematik bulgusunda ise danışmanlar, AI çıktısının doğrudan araştırmacılara açılmasını önerdi.

Üç Alandaki Keşiflerin İçeriği​

GitHub'a eklenen ilk bulgu, Öklid dalga denklemine ilişkin yerel düzleştirme (local smoothing) ispatını kapsıyor. Açıklamaya göre ispat, yardımcı bir kısmi diferansiyel denklem kullanarak Sogge'nin yerel düzleştirme hipotezini en az iki uzaysal boyutta kanıtlıyor; aynı zamanda Kakeya maksimal ve boyut sanılarını ile Stein'ın küresel kısıtlama tahminlerini de kapsıyor. OpenAI, bu çıktıyı 6 Ekim'deki yayımında olduğu gibi doğrudan kamuoyuyla paylaştı.
İkinci bulgu bilgisayar bilimini doğrudan ilgilendiriyor: Üstel Zaman Hipotezi'nin (Exponential Time Hypothesis - ETH) yanlış olduğu iddiası. Yayımlanan makaleye göre, sabit genişlikli CNF formüllerinin tatmin edici atamalarını alt-üstel sürede ve polinom uzayda tam olarak sayan deterministik bir algoritma geliştirildi. 3-SAT durumu ise ETH'yi çürütüyor. Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams'ın liderliğindeki bağımsız bir bilgisayar bilimciler çalışma grubu ispatı inceleyecek ve açıklayacak. Grubun talebi üzerine materyaller hemen kamuoyuna açıldı.
Üçüncü bulgu ise fizik alanında. Henüz tam olarak yayımlanmayan bu çalışma; ayar alanları ve fermiyonlar içeren belirli etkileşimli kuantum alan teorilerinin matematiksel olarak titiz bir varlık ispatını sunuyor. Kapsam içinde Kuantum Kromodinamiği (QCD) ve Standart Modelin birleşik bir tamamlanması da yer alıyor. OpenAI'a göre bu çalışmayı David Gross liderliğinde Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'dan oluşan bir grup yönlendirecek.

ETH Grubunun Açık Mektubu ve Normlar Tartışması​

Bilgisayar bilimi bulgusunu inceleyen grup, sonuçları GitHub'a yüklerken bilim topluluğuna açık bir mektup da yayımladı. Mektupta üç temel soruyu tartışmaya açtılar: AI tarafından üretilen sonuçlara erken erişimi, çıkar çatışmalarının ifşasını ve yayımlanmamış materyallerin sonraki araştırmalarda kullanımını düzenleyen beklentiler ne olmalı? Yeni keşifleri doğrulama, düzeltme, sadeleştirme ve açıklama çalışmalarında kredi nasıl tanınmalı? Araştırma yöntemleri değişirken öğrenciler ve araştırmacılar nasıl desteklenmeli?
OpenAI'ın bir araya getirdiği matematik danışmanlar paneli AGMAI ise tam da bu tartışmanın ortasında dün bir açıklama yaptı. Panel, belirli kişilerin çıktıya önce erişmesini sağlayan uygulamaları benimsememelerini AI şirketlerine tavsiye etti. Eşitsiz erişim, ödünç alınan itibar ve taraflı seçim bu uygulamaların sorunlu yönleri olarak sıralandı. Panel bunun yerine AI laboratuvarlarının çıktıları bilimsel depolara yüklemesini, Lean ile resmileştirilmiş ispatlar sunmasını, problemlerin nasıl seçildiğine dair bilgi paylaşmasını ve sonuçları anlamak için çalışan kişilere fon sağlanmasını önerdi. OpenAI ise bu yaklaşımın da kendi sorunlarını doğurabileceğini kabul etti.

Matematik Bulgusunun Bağlamı: Fields Madalyası Bağlantısı​

Matematik alanındaki keşfin arka planı ayrıca dikkat çekiyor. OpenAI'ın modeli, yerel düzleştirme sanısını her boyutta ispatlayan bir kanıt üretti; bu ispat aynı zamanda Kakeya sanısını ve Stein'ın kısıtlama sanısını da tüm boyutlarda çözüyor. Yalnızca birkaç ay önce, NYU'dan profesör Hong Wang, Kakeya sanısını üç boyutta çözdüğü için Uluslararası Matematik Birliği tarafından prestijli Fields Madalyası'na layık görülmüştü. OpenAI'ın modeli ise bu sonucu tüm boyutlara genişlettiğini öne süren bir çıktı üretti.

Doğrulama Süreci ve Akademik Kaygılar​

ETH ispatının doğrulanmasında görev alan isimler arasında dikkat çekici bir ayrıntı var: Impagliazzo ve Paturi, 1999'da ETH'yi ilk ortaya atan grubun bizzat içindeydi. Şimdi kendi öne sürdükleri hipotezin yanlış olduğunu iddia eden bir ispatı incelemek durumundalar. MIT'den Ryan Williams ise grubun üçüncü üyesi.
Bilim dünyasının bu gelişmelere tepkisi temkinli olmaya devam ediyor. Matematikçiler, OpenAI'ın Ekim ayındaki toplu yayımı için bile 'yıllar sürebilir' yorumunu yapmıştı. Şimdi üç alanda birden gelen yeni iddialar, doğrulama sürecinin nasıl işleyeceği ve AI tarafından üretilen bilimsel sonuçlara akademik camianın nasıl yaklaşması gerektiği sorularını daha da keskinleştiriyor.

Sıkça Sorulan Sorular​

OpenAI'ın açıkladığı üç keşif hangi alanlarda?​

OpenAI, matematik (Öklid dalga denklemine ilişkin yerel düzleştirme ispatı), bilgisayar bilimi (Üstel Zaman Hipotezi'nin yanlış olduğu iddiası) ve fizik (etkileşimli kuantum alan teorilerinin varlık ispatı) alanlarında üç büyük keşif duyurdu.

Üstel Zaman Hipotezi (ETH) nedir ve neden önemli?​

ETH, bilgisayar biliminde uzun süredir doğru olduğu yaygın biçimde kabul edilen bir hipotezdir. OpenAI'ın açıkladığı çalışma, bu hipotezin yanlış olduğunu öne süren deterministik bir algoritma sunuyor. Hipotezi ilk ortaya atan isimlerden Impagliazzo ve Paturi da doğrulama grubunda yer alıyor.

OpenAI'ın 'çoban' (shepherd) modeli ne anlama geliyor?​

OpenAI, bilgisayar bilimi ve fizik bulgularında sonuçları bağımsız uzman gruplarının rehberliğine bıraktı. Bu gruplar ispatları inceleyip açıklama sorumluluğunu üstleniyor. Matematik bulgusunda ise danışmanlar, AI çıktısının doğrudan araştırmacılara açılmasını önerdi.

AGMAI paneli AI bulgularının paylaşımı için ne öneriyor?​

OpenAI'ın matematik danışmanlar paneli AGMAI, belirli kişilere önce erişim tanıyan uygulamaları benimsememelerini AI şirketlerine tavsiye etti. Panel; çıktıların bilimsel depolara yüklenmesini, Lean ile resmileştirilmiş ispatlar sunulmasını, problem seçim sürecinin şeffaf paylaşılmasını ve sonuçları inceleyen araştırmacılara fon sağlanmasını önerdi.

Matematik bulgusunun Fields Madalyası ile bağlantısı nedir?​

NYU profesörü Hong Wang, Kakeya sanısını yalnızca üç boyutta çözdüğü için birkaç ay önce Fields Madalyası'na layık görüldü. OpenAI'ın modelinin ürettiği ispat ise bu sonucu tüm boyutlara genişlettiğini öne sürüyor.