AI kanıtı için yaklaşık 10 milyon dolar tahmini: Altman maliyetin bir yılda yüzde 1’e inebileceğini söyledi

OpenAI CEO’su Sam Altman, Navier-Stokes denklemlerine yönelik kanıt çalışmasının maliyetini yaklaşık 10 milyon dolar (yaklaşık 13,4 milyar Güney Kore wonu) olarak tahmin etti. Altman’ın maliyetin bir yıl sonra yüzde 1’e inebileceği yönündeki öngörüsüne göre aynı çalışmayı yeniden yapmak 100.000 dolara (yaklaşık 134 milyon won) mal olabilir; ancak bu kesin bir fiyat teklifi değil.

Altman, 29’unda yayımlanan Cheeky Pint röportajında, röportajın yapıldığı tarihten itibaren daha akıllı modeller ve daha iyi yaklaşımlar kullanılarak çalışmanın yapıldığı tarihten bir yıl sonra aynı kanıtın maliyetinin yüzde 1’e düşürülebileceğini söyledi. O sıradaki maliyeti “yaklaşık 10 milyon dolar, biraz daha fazla olabilir” diye tarif etti.

100.000 dolar, Altman’ın yaklaşık maliyet tahmininin yüzde 1’i alınarak hesaplandı. OpenAI, 8 Eylül’de yayımladığı kanıt materyalinde dolar cinsinden bir maliyet belirtmedi.

OpenAI, kendi yapay zeka modellerine dayalı yaklaşık 10.000 ajanın problemi çözdüğünü açıkladı. Sonuca ulaşmanın yaklaşık 88 saat sürdüğünü bildirdi.

Sonucun Lean biçimine dönüştürülüp doğrulanması 17 saat daha aldı. Bu süreçte ajanlar yaklaşık 2,7 milyon mesaj alışverişinde bulundu ve yaklaşık 130 milyar çıktı tokenı kullandı.

Lean, matematiksel bir argümanı bilgisayarın denetleyebileceği biçimde ifade etmeye yarayan bir araç. Lean ile biçimselleştirilmiş bir argümanın doğrulanması ile bu argümanın insanların okuyabildiği makaleyle aynı içeriği taşıdığının kontrol edilmesi ayrı işlemler.

Navier-Stokes denklemleri, su ve hava gibi akışkanların hareketini açıklıyor. Problem, düzgün dış kuvvetlerin etkisindeki üç boyutlu sıkıştırılamaz bir akışkanda sonlu zamanda tekillik oluşup oluşamayacağını ele alıyor. OpenAI, tekilliğin oluşabileceğini gösteren bir kanıt sunduğunu açıkladı. Buradaki tekillik, denklemlerin tanımladığı akışkan hızının sonlu bir süre içinde sınırsız biçimde artması anlamına geliyor.

OpenAI daha önce Erdős varsayımını çürüten genel amaçlı bir yapay zeka kanıtı yayımlamıştı. Bu kez ele alınan problem ise farklı bir matematik sorusu.

Problem için 1 milyon dolar (yaklaşık 1,34 milyar won) ödül koyan Clay Matematik Enstitüsü (Clay Mathematics Institute), 11 Eylül’de sonucun “çözülmüş gibi göründüğünü” değerlendirdi. Enstitü, sonucun değerlendirilmesi ve başarı payının tanınması süreçlerini aceleye getirmeyeceğini de belirtti. OpenAI ödülü talep etmeyeceğini açıkladı. Ödüle ilişkin tutumu ile matematik camiasının kanıtı incelemesi ayrı konular.

King’s College London ve Cambridge Üniversitesi (University of Cambridge) araştırmacıları, 6 Ekim’de yayımladıkları ön baskıda, insanların okuyabildiği kanıt ile Lean biçimselleştirmesinin bazı bölümlerde aynı güçte iddialar içermediğine dikkat çekti. Araştırmacılar, bu eleştirinin OpenAI’nin özgün kanıtının yanlış olduğuna dair bir hüküm olmadığını belirtti. Açıklamalarına göre Lean doğrulaması tek başına, insanların okuyabildiği makalenin de doğrulandığını göstermiyor.

Altman’ın açıklaması, aynı çalışmanın daha düşük maliyetle yapılabileceğine dair bir öngörü içeriyor. Kanıtın içeriğiyle biçimselleştirme sonucunun örtüşüp örtüşmediği ise ayrı bir matematiksel inceleme konusu.