Justin Sun acaba de lanzar el Justin Sun Prize, una iniciativa que combina las matemáticas, la inteligencia artificial y la verificación formal. Lo que me gusta es que no se limita solo a investigadores de universidades o instituciones grandes, sino que también abre la participación a contribuidores independientes y equipos humanos-AI. El enfoque es bastante directo: resolver el problema → generar la prueba → permitir que la máquina la verifique → y luego pasar a la evaluación para el premio. Otro aspecto interesante es que el sistema funciona como código abierto y se publican los problemas, pruebas y materiales de verificación para que puedan ser revisados. El premio máximo en el nivel Pinnacle es de $1M por cada problema verificado con éxito. Personalmente, considero que esta idea es interesante porque no valora solo “quién lo hizo”, sino cuán verificable es realmente la prueba. La IA está ayudándonos cada vez más a pensar, pero al final, la pregunta clave sigue siendo: “¿Cómo verificamos lo que la IA piensa?” Este podría ser otro ejemplo de cómo se utiliza la tecnología para crear un sistema de incentivos que impulse la investigación fundamental. Y para quienes están en el mundo de Crypto, es interesante que los premios puedan pagarse en USDT sobre TRON (TRC-20) o en USDC sobre Ethereum. Así, Justin Sun, desde otra perspectiva, no solo habla de blockchain o crypto, sino que también está utilizando capital para apoyar las matemáticas, la IA y la investigación abierta. @justinsuntron @trondao @TronDao_THA #TRONGlobalFriends #TGF