Yapay zeka matematiği bir haftada altüst etti: Ünlü matematikçi “dehşete düştüm” diyor

Sadece bir hafta içinde, dünyanın önde gelen iki yapay zeka şirketi matematik camiasını sarsan sonuçlar açıkladı: OpenAI, 90 yıllık ve milyon dolarlık bir matematik problemini çözdüğünü iddia ederken, Anthropic ise Claude adlı yapay zekasının tarihin en ünlü kanıtlarından birini formüle ettiğini duyurdu. Peş peşe gelen bu açıklamalar, matematikçileri hayranlık ile korku arasında bıraktı.

Bir Milenyum Ödüllü Problem Çözüldü

8 Eylül Salı günü OpenAI, henüz piyasaya sürülmemiş ve GPT-6 Astra'dan daha güçlü bir model üzerinde çalışan yaklaşık 10.000 yapay zeka ajanının, Navier-Stokes varlık ve pürüzsüzlük problemini 88 saat içinde çözdüğünü duyurdu. Clay Matematik Enstitüsü tarafından 2000 yılında belirlenen ve çözülmemiş altı Milenyum Ödüllü Probleminden biri olan bu soru, akışkan hareketini yöneten denklemlerin ani sonsuzluklar üretip üretemeyeceğini, yani "patlayıp patlamayacağını" sorguluyor. OpenAI'ın yapay zeka ajanları, bunun gerçekleşebileceği sonucuna vardı.cnbc+2

Bağımsız doğrulama bekleyen bu çözüm, İspanyol matematikçiler Diego Córdoba and Luis Martínez-Zoroa'nın bir yılı aşkın araştırmalarla geliştirdikleri temel tekniğe dayanıyor. Ancak bu duyuruya hemen bir tartışmanın gölgesi düştü. OpenAI'ın açıklamasından saatler önce, NYU matematikçisi Tristan Buckmaster bir bildiri yayınlayarak kendisinin ve Anthropic araştırmacısı Levent Alpöge'nin Córdoba ve Martínez-Zoroa'nın yaklaşımını kullanarak aynı problem üzerinde çalıştıklarını ve OpenAI'ın onların ilerlemesinden haberdar olduktan sonra yayını hızlandırdığını iddia etti. Buckmaster, OpenAI'ın çalışmanın sahipliği konusunda algıyı etkilemeye çalıştığını öne sürüyor.techcrunch+4

Fermat'ın Son Teoremi Formüle Edildi

Birkaç gün önce Anthropic, Claude'un Lean kanıt asistanında Fermat'ın Son Teoremi'nin bilgisayar tarafından kontrol edilen ilk eksiksiz formülasyonunu gerçekleştirdiğini açıklamıştı. Büyük ölçüde otonom olarak 11 gün boyunca çalışan sistem, bu süreçte yaklaşık 13 milyon satır kod üretti ve 29.500 ara teoremi kanıtladı. Aynı kanıtı formüle etmek için yıllardır paralel bir çalışma yürüten Imperial College London'dan Kevin Buzzard, bunu "olağanüstü bir otomatik formülasyon başarısı" olarak nitelendirdi.aitechdaily+2

Bu sonuç yeni bir kanıt teşkil etmiyor (Andrew Wiles teoremi 1995'te kanıtlamıştı), aksine mevcut bir kanıtın makine tarafından doğrulanmış bir kodlaması niteliğinde. Matematikçiler bu görevin yıllar alacağını tahmin ediyordu.letsdatascience+1

"Gerçekten Dehşete Düştüm"

Bu gelişmeler, araştırmacılar arasında derin bir sorgulamaya yol açtı. Cornell Üniversitesi matematikçisi Steven Strogatz, Cumartesi günü Wired News Corp ↘ 0.03% dergisinde yayınlanan röportajında, değişimin hızı karşısında "gerçekten dehşete düştüğünü" belirtti. "Bilim heyecan verici," dedi, "ancak beraberinde pek çok insani anlaşmazlığı da getiriyor." İnsan kavrayışının ötesine geçen matematiği konu alan ve yakında çıkacak olan "Big Math" kitabının ortak yazarı olan Strogatz, kurumsal laboratuvarlar arasındaki bu yarışı kısmen kazançlı halka arz (IPO) beklentilerinin körüklediğini ifade etti. Yapay zekanın matematiksel keşifleri hızlandırdığını belirten Strogatz, tüm kariyerlerini bu problemlere adamış araştırmacılar için bunun ne anlama geleceğinin belirsizliğini koruduğuna dikkat çekti.wired