ลูก: ¿Para qué voy a aprender matemáticas? Si cuando crezca no voy a poder usarlas para trabajar 😑

พ่อ: Ahora hay gente que busca premios por resolver problemas de matemáticas. El premio máximo es de $1,000,000, o aproximadamente 32 millones de baht

ลูก: Papá, creo que debería haberme esforzado en estudiar desde 4º de primaria 😭📐

Justin Sun Prize presenta retos de matemáticas para que gente de todo el mundo entre a intentarlos. Quien pueda demostrarlo también debe escribir una prueba (proof) con Lean para que el ordenador pueda verificarla de verdad 🧠💻

Hay muchos niveles de premios, el máximo llega a 1 millón de dólares 💰

Si tienes amigos de la línea de matemáticas, de investigación o de Lean, etiqueta a alguno, ¡por si en el futuro no responde el chat porque está tras 32 millones! 😂👇

#TGF #TronGlobalFriends @justinsuntron
@TRON DAO @TronDao_THA

https://x.com/nuenghandsome/status/2100320077631693059