📢 Las matemáticas ganan un nuevo espacio… y el premio de Justin Sun pone la demostración en el corazón de la competición 🏆📐
El Justin Sun Prize ofrece recompensas que pueden alcanzar hasta $1M por logros importantes en matemáticas fundamentales, con un enfoque en pruebas formales que las máquinas puedan verificar.
🧠 El programa incluye 66 problemas relacionados con soluciones y demostraciones formales, y abre la puerta a distintos ámbitos de las matemáticas fundamentales.
💻 La idea no es solo llegar a una respuesta correcta, sino convertir el resultado en una Formal Proof que se pueda comprobar con herramientas de software, creando un cruce claro entre matemáticas y la IA.
🤖 Y, según el anuncio, entre los primeros ganadores hay un equipo de investigación de OpenAI con un trabajo relacionado con un problema de Navier-Stokes.
🌍 Además, la participación no depende de nominaciones ni de credenciales académicas, sino de la contribución en sí: si el problema se ha resuelto y demostrado en la forma requerida.
🎯 En resumen: el premio ofrece un modelo diferente para recompensar los logros matemáticos, combinando matemáticas fundamentales, demostraciones verificables por máquina y la IA, con recompensas de hasta $1M. 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO
El Justin Sun Prize ofrece recompensas que pueden alcanzar hasta $1M por logros importantes en matemáticas fundamentales, con un enfoque en pruebas formales que las máquinas puedan verificar.
🧠 El programa incluye 66 problemas relacionados con soluciones y demostraciones formales, y abre la puerta a distintos ámbitos de las matemáticas fundamentales.
💻 La idea no es solo llegar a una respuesta correcta, sino convertir el resultado en una Formal Proof que se pueda comprobar con herramientas de software, creando un cruce claro entre matemáticas y la IA.
🤖 Y, según el anuncio, entre los primeros ganadores hay un equipo de investigación de OpenAI con un trabajo relacionado con un problema de Navier-Stokes.
🌍 Además, la participación no depende de nominaciones ni de credenciales académicas, sino de la contribución en sí: si el problema se ha resuelto y demostrado en la forma requerida.
🎯 En resumen: el premio ofrece un modelo diferente para recompensar los logros matemáticos, combinando matemáticas fundamentales, demostraciones verificables por máquina y la IA, con recompensas de hasta $1M. 🚀
#TRON #TGF #TRONGlobalFriends
#JustinSunPrize #TRX
@Justin Sun孙宇晨 @TRON DAO
