1 milyon dolarlık Justin Sun Matematik Ödülü’nün ilk hedefi OpenAI

Zombit, Justin Sun’ın en fazla 1 milyon dolar (yaklaşık 1,4 milyar won) ödül veren merkeziyetsiz bir matematik ödülü kurduğunu ve ilk ödül için OpenAI araştırma ekibini seçtiğini 17’sinde bildirdi. OpenAI, üç boyutlu Navier–Stokes denkleminin ‘varlık ve düzgünlük’ problemine yönelik çözümünü ve Lean biçimsel kanıtını yayımladığını açıkladı.

Justin Sun (Justin Sun) TRON kurucusu, “Servetimin kökleri matematikte ve matematiğe geri dönecek” dedi. Bu açıklama, kişisel servetini temel bilim araştırmalarına yeniden yönlendirme amacına işaret ediyor.

Daha önce Justin Sun’ın makine doğrulamasından geçen matematiksel kanıtlara ödül verecek bir ödül oluşturduğu duyurulmuştu. Son gelişmeyle birlikte ilk ödül adayı ve ayrıntılı problem listesi de açıklandı.

Justin Sun Matematik Ödülü, geleneksel akademik ödüllerdeki gibi aday gösterme süreçlerini veya kurum ve uyruk kriterlerini temel almıyor. Katılımcıların önce yayımlanan problemleri çözmesi, ardından Lean gibi araçlarla makine tarafından doğrulanabilen biçimsel bir kanıt sunması gerekiyor.

İlk ödül listesinde 66 matematik problemi yer aldı. En yüksek ödül olan 1 milyon dolar, OpenAI araştırma ekibinin Navier–Stokes problemi çözümü ve biçimsel kanıtı için ayrıldı.

Navier–Stokes denklemi, akışkanların hareketini açıklayan matematiksel bir araçtır. Denklemin çözümlerinin var olduğunu ve düzgün kaldığını kanıtlama problemi, Clay Matematik Enstitüsü’nün 2000 yılında seçtiği yedi Milenyum Problemi’nden biridir.

OpenAI, 8 Eylül’de dahili sisteminin Navier–Stokes problemine bir çözüm sunduğunu açıkladı. OpenAI’nin resmi açıklamasına göre çözüm, GPT-6 Astra’dan daha yüksek performans gösteren dahili bir model tarafından üretildi; Lean biçimsel hale getirme ve doğrulama süreçlerinde ise GPT-6 Astra kullanıldı.

OpenAI’nin yayımladığı resmi çözüm ve Lean kanıtı, kanıt sürecinin makine tarafından adım adım kontrol edilebildiği bir formatta oluşturuldu. Temel yaklaşım, doğal dille yazılmış çözümü belirlenmiş kurallar doğrultusunda doğrulanabilir koda dönüştürmekti.

Ödül, yalnızca matematiksel başarıyı değil, ödüllendirme sürecini de açık doğrulama yapısına dahil ediyor. Matematik problemleri, kanıtlar ve doğrulama programları GitHub’da yayımlanırken ödül ödeme kayıtları blokzincirde tutuluyor.

Bir kez kaydedilen problemler listeden silinemiyor ve listeye yalnızca yeni problemler eklenebiliyor. Ödüller de sabit bir tören takvimine göre değil, her problemin çözülüp doğrulanmasına bağlı olarak ödeniyor.

Problemleri yalnızca insanlar değil, yapay zekâ sistemleri de çözebiliyor. Ödül sahipleri belirli bir kurum veya uyrukla sınırlandırılmıyor. Resmi açıklamada, tüm başvuruların makine doğrulamasını geçtikten sonra akademik incelemeye tabi tutulacağı belirtildi.

İlk listede Riemann hipotezi, Goldbach varsayımı ve Poincaré varsayımının biçimsel doğrulamasıyla ilgili problemler de bulunuyor. Justin Sun Matematik Ödülü’nü yürüten ekip, ödülü ‘yapay zekâ çağının Nobel’i’ haline getirme hedefini ortaya koydu.

Bununla birlikte, OpenAI’nin çözümü ve biçimsel kanıtının bu ödülle birlikte matematik dünyasında nihai akademik başarı olarak kesinleştiği söylenemez. Sonucun matematiksel statüsü, sonraki incelemelerden bağımsız olarak ayrıca değerlendirilmelidir.

Ödül, TRON(TRX) ağındaki USDT veya Ethereum(ETH) ağındaki USDC ile alınabilecek. Matematik problemleri, kanıtlar ve ödeme kayıtlarının açık listelerde ve blokzincirde birlikte tutulması, uygulamayı geleneksel akademik ödüllerin ödüllendirme yöntemlerinden ayırıyor.

Justin Sun Matematik Ödülü, bundan sonra da kazananları yayımlanan problemler ve makine doğrulama sonuçları temelinde belirleyecek.