İlk 66 Ödül Problemi @justinsuntron, Justin Sun Ödülü için ilk 66 ödül problemini açıkladı; Pinnacle kategorisindeki problemler ise en fazla 1 milyon dolarlık ödül sunuyor. Ancak ilginç olan sadece ödül değil. Arka planda yer alan yeni model: Çöz → Resmileştir → Doğrula → Ödül Ver 1. Kanıtlayıcı %70 alır Matematiksel problemi çözen kişi. 2. Resmileştirici %30 alır Kanıtı Lean aracılığıyla makine tarafından doğrulanabilir bir formata dönüştüren kişi. Eğer bir kişi her ikisini de yaparsa, ödülü tamamen alabilir. Çözümün insan, AI veya insan + AI tarafından gelmesi önemli değil. Önemli olan, Lean’in kanıtı resmi olarak doğrulayabilip alamaması. Bu, AI çağında özellikle ilginç. AI’nın doğru görünen bir kanıt üretmesi bir şey. Bir makinenin o kanıtın her adımını kontrol etmesi ise başka bir şey. İlk liste zaten Pinnacle kategorisinde Navier–Stokes’u içeriyor; çözüm tarafında OpenAI Takımı, Lean doğrulama tarafında ise OpenAI bulunuyor. Bu, Justin Sun Ödülü’nün orijinal vizyonunu canlandırıyor: Matematik × AI × Resmi Doğrulama × Blok Zinciri 66 problem sadece başlangıç. Daha büyük soru şu: Matematiksel atılımlar, açık, teşvikli ve makine tarafından doğrulanabilir görevler haline geldiğinde ne olur?