OpenAI 88 saatte zorluğu aştığını duyurdu, akıllı para AI'nın yıl içinde bir sonraki hamleyi yapacağını öngörüyor

PolyBeats tarafından izlendiğine göre, tahmin piyasası Polymarket'te 1 akıllı para, "Bu yıl içinde bir yapay zekanın bir başka Milenyum Ödülü problemini çözdüğünü duyurup duyurmayacağı?" sorusuna 2,0 bin dolar "Evet" yatırdı; ortalama alım olasılığı %51,2, şu anda "Evet" olasılığı %64,5.

Rumpelstiltskin 2,0 bin dolar yatırdı; bu piyasadaki en iyi ilgili sektör yapay zeka olup sektör net kârı 23,7 bin dolar. Bu sektördeki toplam 182 sonuçlanmış işlemin kazanma oranı 107/182 (%59); bunlar arasında alım fiyatı 0,8 doların altında ve satım fiyatı 0,95 doların üzerinde olan 30 işlem var. Benzer maliyet fiyat aralığında (0,451-0,6 dolar) geçmiş yatırım tutarının medyanı 240 dolar.

Milenyum Ödülü problemleri, Clay Matematik Enstitüsü tarafından 2000 yılında oluşturuldu; her problemin ödülü 1 milyon dolar. Bu piyasa, nitelikli bir yapay zeka laboratuvarının yıl içinde Riemann hipotezini, P ile NP'yi, Yang-Mills varlığı ve kütle boşluğunu, Hodge varsayımını veya Birch ve Swinnerton-Dyer varsayımını çözdüğünü duyurmasını gerektiriyor. Kısmi sonuçlar ve araştırma ilerlemeleri sayılmaz; Navier-Stokes denklemleri de kurallar tarafından açıkça hariç tutulmuştur. Laboratuvarın çözüm beyanında bulunması yeterlidir.

Bu hesabın ana kârı Claude 5 çıkış zamanından yaklaşık 6,9 bin dolar, Grok 5 çıkış zamanından yaklaşık 3,9 bin dolar, Astra'nın kesin çıkış tarihinden yaklaşık 3,6 bin dolar ve model sıralama piyasasından yaklaşık 3,6 bin dolar; en büyük zararı Şubat ayının en iyi yapay zeka modelinden yaklaşık 10,1 bin dolar ve GPT-5.3 çıkış zamanından yaklaşık 4,1 bin dolar. Hesap şu anda yapay zeka laboratuvarları ve OpenAI'nin yıl içinde çözüm duyurması için "Evet" alıyor; aynı zamanda Anthropic'in çeşitli süreler içinde çözüm duyurmayacağını tahmin ediyor ve değerlendirmesi daha çok OpenAI üzerinde yoğunlaşıyor.

Quanta Magazine 8'inde bildirdi: OpenAI, Navier-Stokes denklemini araştırmak için yaklaşık on bin otonom yapay zeka ajanı kullandı; ajanlar 88 saat çalıştıktan sonra bir tekillik kanıtı sundu ve başka bir model seti ardından sonucu 17 saatte Lean kanıtı olarak biçimlendirdi. Ajanlar toplamda yaklaşık beş milyon mesaj alışverişinde bulundu ve hesaplama maliyeti milyonlarca dolara ulaştı. Bu sonucun, biçimlendirilmiş önermenin orijinal matematik problemiyle tamamen tutarlı olduğunun araştırmacılar tarafından doğrulanması gerekiyor; ilgili araştırmanın katkı atfı konusunda da anlaşmazlıklar var.