أعلن جاستن صن عن جائزة جاستن صن، وهي مكافأة أكاديمية لا مركزية تمنح ما يصل إلى 1 مليون دولار أمريكي لحل المسائل الرياضية المدرجة مع إثباتات قابلة للتحقق عبر الآلة. وتم أيضًا تسمية الفائزين الأوائل، بما في ذلك فريق أبحاث OpenAI عن حلٍّ وإثباتٍ رسمي لمشكلة معادلات نافير-ستوكس ثلاثية الأبعاد، وفقًا لـBeInCrypto، مع اكتمال التكميل والتحقق بالصياغة الرسمية في Lean بواسطة GPT-6 Astra. وستقوم الجائزة بدفع المكافآت للفائزين في USDT على TRON أو USDC على شبكة Ethereum.