#justinsunprize
justinsunprize
21,419 visualizaciones
15 participa(n) en el debate
Populares
Novedades
Quod probatur, solvitur.
Lo que se prueba, se resuelve.
El #JustinSunPrize begins.
https://www.theblock.co/sponsored/2026-09-18-justin-sun-establishes-the-justin-sun-prize-my-wealth-came-from-mathematics-and-will-return-to-mathematics-415271
Quod probatur, solvitur.
Lo que se prueba, se resuelve.
El #JustinSunPrize begins.
https://www.theblock.co/sponsored/2026-09-18-justin-sun-establishes-the-justin-sun-prize-my-wealth-came-from-mathematics-and-will-return-to-mathematics-415271
Lo que se prueba, se resuelve.
El #JustinSunPrize begins.
https://www.theblock.co/sponsored/2026-09-18-justin-sun-establishes-the-justin-sun-prize-my-wealth-came-from-mathematics-and-will-return-to-mathematics-415271
啊轩轩:
数学奖励100万🤩
27
32
23.2k
Presentamos el #JustinSunPrize , un nuevo programa de recompensas académicas que premia avances en matemáticas.
Los colaboradores pueden resolver problemas elegibles, formalizar sus resultados en Lean y presentar pruebas verificables por máquinas a través del repositorio open-source de GitHub del Premio.
Con cinco niveles de premios y un premio máximo de $1 millón, el programa está abierto a colaboradores elegibles de todo el mundo.
Resuelve. Verifica. Reclama.
Más información:
https://hejustinsun.com/prize
https://x.com/JustinSunPrize/status/2100319343670354387
Presentamos el #JustinSunPrize , un nuevo programa de recompensas académicas que premia avances en matemáticas.
Los colaboradores pueden resolver problemas elegibles, formalizar sus resultados en Lean y presentar pruebas verificables por máquinas a través del repositorio open-source de GitHub del Premio.
Con cinco niveles de premios y un premio máximo de $1 millón, el programa está abierto a colaboradores elegibles de todo el mundo.
Resuelve. Verifica. Reclama.
Más información:
https://hejustinsun.com/prize
https://x.com/JustinSunPrize/status/2100319343670354387
Los colaboradores pueden resolver problemas elegibles, formalizar sus resultados en Lean y presentar pruebas verificables por máquinas a través del repositorio open-source de GitHub del Premio.
Con cinco niveles de premios y un premio máximo de $1 millón, el programa está abierto a colaboradores elegibles de todo el mundo.
Resuelve. Verifica. Reclama.
Más información:
https://hejustinsun.com/prize
https://x.com/JustinSunPrize/status/2100319343670354387
王长鸟:
孙哥在财富自由的另一边等着我
13
13
15.1k
·
--
☀️ Buenos días a todos.
Ayer escribí sobre el Premio Justin Sun y por qué lo interesante no es solo el premio en dinero, sino la idea de recompensar un trabajo que realmente se pueda verificar.
Esta mañana, hay otra actualización que vale la pena seguir 👀
Justin Sun ha anunciado la primera ronda de ganadores reconocidos, junto con 66 problemas de premio creados a partir de una idea sencilla:
recompensar la solución, no a la persona.
Esa es la parte que me parece más interesante.
El enfoque está en la respuesta y en la prueba en sí, ya sea que provenga de un humano, de una IA o de una colaboración entre ambos.
Y eso plantea una pregunta más grande.
En la era de la IA, ¿deberíamos preocuparnos más por quién produjo la solución, o por si el resultado realmente puede comprobarse, reproducirse y verificarse?
Esas dos cosas no siempre son lo mismo.
Una prueba que pasa la verificación de una máquina y un resultado que es aceptado formalmente por la comunidad académica en general pueden ocurrir en etapas diferentes.
Para mí, ahí es donde esto se vuelve mucho más interesante que solo “quién ganó el premio”.
Si la IA empieza a contribuir con más seriedad a las matemáticas y la investigación, entonces la verificación puede volverse tan importante como el descubrimiento.
Primero café y luego vuelvo a seguir esta historia ☕️
Creo que a esta todavía le queda mucho por desarrollarse.
@TRONDAO @TronDao_THA @justinsuntron
#TRONGlobalFriends #TGF #TRON #JustinSunPrize
☀️ Buenos días a todos.
Ayer escribí sobre el Premio Justin Sun y por qué lo interesante no es solo el premio en dinero, sino la idea de recompensar un trabajo que realmente se pueda verificar.
Esta mañana, hay otra actualización que vale la pena seguir 👀
Justin Sun ha anunciado la primera ronda de ganadores reconocidos, junto con 66 problemas de premio creados a partir de una idea sencilla:
recompensar la solución, no a la persona.
Esa es la parte que me parece más interesante.
El enfoque está en la respuesta y en la prueba en sí, ya sea que provenga de un humano, de una IA o de una colaboración entre ambos.
Y eso plantea una pregunta más grande.
En la era de la IA, ¿deberíamos preocuparnos más por quién produjo la solución, o por si el resultado realmente puede comprobarse, reproducirse y verificarse?
Esas dos cosas no siempre son lo mismo.
Una prueba que pasa la verificación de una máquina y un resultado que es aceptado formalmente por la comunidad académica en general pueden ocurrir en etapas diferentes.
Para mí, ahí es donde esto se vuelve mucho más interesante que solo “quién ganó el premio”.
Si la IA empieza a contribuir con más seriedad a las matemáticas y la investigación, entonces la verificación puede volverse tan importante como el descubrimiento.
Primero café y luego vuelvo a seguir esta historia ☕️
Creo que a esta todavía le queda mucho por desarrollarse.
@TRON DAO @TronDao_THA @justinsuntron
#TRONGlobalFriends #TGF #TRON #JustinSunPrize
Ayer escribí sobre el Premio Justin Sun y por qué lo interesante no es solo el premio en dinero, sino la idea de recompensar un trabajo que realmente se pueda verificar.
Esta mañana, hay otra actualización que vale la pena seguir 👀
Justin Sun ha anunciado la primera ronda de ganadores reconocidos, junto con 66 problemas de premio creados a partir de una idea sencilla:
recompensar la solución, no a la persona.
Esa es la parte que me parece más interesante.
El enfoque está en la respuesta y en la prueba en sí, ya sea que provenga de un humano, de una IA o de una colaboración entre ambos.
Y eso plantea una pregunta más grande.
En la era de la IA, ¿deberíamos preocuparnos más por quién produjo la solución, o por si el resultado realmente puede comprobarse, reproducirse y verificarse?
Esas dos cosas no siempre son lo mismo.
Una prueba que pasa la verificación de una máquina y un resultado que es aceptado formalmente por la comunidad académica en general pueden ocurrir en etapas diferentes.
Para mí, ahí es donde esto se vuelve mucho más interesante que solo “quién ganó el premio”.
Si la IA empieza a contribuir con más seriedad a las matemáticas y la investigación, entonces la verificación puede volverse tan importante como el descubrimiento.
Primero café y luego vuelvo a seguir esta historia ☕️
Creo que a esta todavía le queda mucho por desarrollarse.
@TRON DAO @TronDao_THA @justinsuntron
#TRONGlobalFriends #TGF #TRON #JustinSunPrize
1
140
🏆 ¿Cómo participas en el Justin Sun Prize?
Empieza con el banco oficial de preguntas, que actualmente contiene 1,022 problemas matemáticos.
Pero elegir un problema es solo el comienzo.
El programa reconoce dos contribuciones importantes:
🧠 El demostrador produce el resultado matemático.
💻 El formalizador convierte una demostración aceptada en una forma verificable por máquina cuando se requiere verificación formal.
La misma persona puede desempeñar ambos roles, o diferentes colaboradores pueden completarlos.
📚 El proceso básico:
1️⃣ Elige un problema elegible del banco oficial
2️⃣ Revisa su estado y los requisitos publicados
3️⃣ Desarrolla una demostración matemática completa
4️⃣ Formaliza el resultado cuando sea necesario
5️⃣ Sigue la vía oficial de envío para ese problema
6️⃣ Completa el proceso aplicable de revisión y verificación
⚠️ Una distinción importante:
Un envío en GitHub o una compilación de software exitosa por sí solos no significan que se haya ganado un premio. Los requisitos, herramientas y métodos de envío pueden diferir entre problemas, y el reconocimiento sigue las reglas publicadas.
💡 Lo que más me interesa es el estándar que se está creando para la era de la IA.
La IA puede generar respuestas rápidamente. Las matemáticas plantean una pregunta más difícil:
¿Se puede demostrar y verificar independientemente cada paso de la respuesta?
Esa combinación de razonamiento humano, ayuda de IA y verificación formal podría volverse cada vez más importante a medida que la IA intente problemas matemáticos más difíciles.
Elige. Demuestra. Formaliza. Verifica. 🧠⚡
Sitio web oficial:
https://hejustinsun.com/prize
GitHub oficial:
https://github.com/TheJustinSunPrize/awards
@justinsuntron @TRONDAO @TronDao_THA
#JustinSunPrize #TRONGlobalFriends #TGF
🏆 ¿Cómo participas en el Justin Sun Prize?
Empieza con el banco oficial de preguntas, que actualmente contiene 1,022 problemas matemáticos.
Pero elegir un problema es solo el comienzo.
El programa reconoce dos contribuciones importantes:
🧠 El demostrador produce el resultado matemático.
💻 El formalizador convierte una demostración aceptada en una forma verificable por máquina cuando se requiere verificación formal.
La misma persona puede desempeñar ambos roles, o diferentes colaboradores pueden completarlos.
📚 El proceso básico:
1️⃣ Elige un problema elegible del banco oficial
2️⃣ Revisa su estado y los requisitos publicados
3️⃣ Desarrolla una demostración matemática completa
4️⃣ Formaliza el resultado cuando sea necesario
5️⃣ Sigue la vía oficial de envío para ese problema
6️⃣ Completa el proceso aplicable de revisión y verificación
⚠️ Una distinción importante:
Un envío en GitHub o una compilación de software exitosa por sí solos no significan que se haya ganado un premio. Los requisitos, herramientas y métodos de envío pueden diferir entre problemas, y el reconocimiento sigue las reglas publicadas.
💡 Lo que más me interesa es el estándar que se está creando para la era de la IA.
La IA puede generar respuestas rápidamente. Las matemáticas plantean una pregunta más difícil:
¿Se puede demostrar y verificar independientemente cada paso de la respuesta?
Esa combinación de razonamiento humano, ayuda de IA y verificación formal podría volverse cada vez más importante a medida que la IA intente problemas matemáticos más difíciles.
Elige. Demuestra. Formaliza. Verifica. 🧠⚡
Sitio web oficial:
https://hejustinsun.com/prize
GitHub oficial:
https://github.com/TheJustinSunPrize/awards
@justinsuntron @TRON DAO @TronDao_THA
#JustinSunPrize #TRONGlobalFriends #TGF
Empieza con el banco oficial de preguntas, que actualmente contiene 1,022 problemas matemáticos.
Pero elegir un problema es solo el comienzo.
El programa reconoce dos contribuciones importantes:
🧠 El demostrador produce el resultado matemático.
💻 El formalizador convierte una demostración aceptada en una forma verificable por máquina cuando se requiere verificación formal.
La misma persona puede desempeñar ambos roles, o diferentes colaboradores pueden completarlos.
📚 El proceso básico:
1️⃣ Elige un problema elegible del banco oficial
2️⃣ Revisa su estado y los requisitos publicados
3️⃣ Desarrolla una demostración matemática completa
4️⃣ Formaliza el resultado cuando sea necesario
5️⃣ Sigue la vía oficial de envío para ese problema
6️⃣ Completa el proceso aplicable de revisión y verificación
⚠️ Una distinción importante:
Un envío en GitHub o una compilación de software exitosa por sí solos no significan que se haya ganado un premio. Los requisitos, herramientas y métodos de envío pueden diferir entre problemas, y el reconocimiento sigue las reglas publicadas.
💡 Lo que más me interesa es el estándar que se está creando para la era de la IA.
La IA puede generar respuestas rápidamente. Las matemáticas plantean una pregunta más difícil:
¿Se puede demostrar y verificar independientemente cada paso de la respuesta?
Esa combinación de razonamiento humano, ayuda de IA y verificación formal podría volverse cada vez más importante a medida que la IA intente problemas matemáticos más difíciles.
Elige. Demuestra. Formaliza. Verifica. 🧠⚡
Sitio web oficial:
https://hejustinsun.com/prize
GitHub oficial:
https://github.com/TheJustinSunPrize/awards
@justinsuntron @TRON DAO @TronDao_THA
#JustinSunPrize #TRONGlobalFriends #TGF
195
·
--
📢 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
@JustinSun @TRONDAO
📢 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
1
2
180
Leyendo la publicación de Justin Sun sobre el Premio Justin Sun, no lo veo como otro premio de matemáticas más.
Lo veo como una forma de que alguien de la industria blockchain devuelva algo a la fundación que hizo posible la cripto: matemáticas, criptografía, funciones hash y curvas elípticas.
Sin matemáticas, la blockchain quizá seguiría siendo solo una idea en una pizarra esperando su primer bloque, mientras las comisiones de gas siguen subiendo.
Lo que hace interesante el Premio Justin Sun es su enfoque en los resultados más que en la edad, la reputación o las nominaciones tradicionales.
Un avance puede venir de un ser humano, de una IA o de una combinación de ambos. Pero para recibir el premio, la prueba debe formalizarse y verificarse por una máquina, de la primera línea a la última, sin errores.
En términos sencillos:
→ El probador crea el avance.
→ El formalizador lo convierte en algo que una máquina puede verificar.
→ La blockchain registra el proceso de forma pública y transparente.
Me gusta especialmente el mecanismo de “espera”. Una vez que la comunidad matemática acepta una prueba, el nombre del probador se registra primero. El premio permanece bloqueado hasta que la prueba se verifique formalmente.
Ese periodo de espera no es tiempo perdido. Se convierte en una lista pública de tareas importantes para que completen matemáticos, desarrolladores e investigadores de IA.
Justin Sun aún puede ser una figura controvertida, pero la reputación no se construye solo con palabras. Se construye con lo que queda después de muchos años.
Si este sistema funciona como está diseñado, podría convertirse en una inversión a largo plazo en conocimiento, transparente como blockchain y duradero como las matemáticas.
LFG!!!
#Tron #JustinSunPrize
Leyendo la publicación de Justin Sun sobre el Premio Justin Sun, no lo veo como otro premio de matemáticas más.
Lo veo como una forma de que alguien de la industria blockchain devuelva algo a la fundación que hizo posible la cripto: matemáticas, criptografía, funciones hash y curvas elípticas.
Sin matemáticas, la blockchain quizá seguiría siendo solo una idea en una pizarra esperando su primer bloque, mientras las comisiones de gas siguen subiendo.
Lo que hace interesante el Premio Justin Sun es su enfoque en los resultados más que en la edad, la reputación o las nominaciones tradicionales.
Un avance puede venir de un ser humano, de una IA o de una combinación de ambos. Pero para recibir el premio, la prueba debe formalizarse y verificarse por una máquina, de la primera línea a la última, sin errores.
En términos sencillos:
→ El probador crea el avance.
→ El formalizador lo convierte en algo que una máquina puede verificar.
→ La blockchain registra el proceso de forma pública y transparente.
Me gusta especialmente el mecanismo de “espera”. Una vez que la comunidad matemática acepta una prueba, el nombre del probador se registra primero. El premio permanece bloqueado hasta que la prueba se verifique formalmente.
Ese periodo de espera no es tiempo perdido. Se convierte en una lista pública de tareas importantes para que completen matemáticos, desarrolladores e investigadores de IA.
Justin Sun aún puede ser una figura controvertida, pero la reputación no se construye solo con palabras. Se construye con lo que queda después de muchos años.
Si este sistema funciona como está diseñado, podría convertirse en una inversión a largo plazo en conocimiento, transparente como blockchain y duradero como las matemáticas.
LFG!!!
#Tron #JustinSunPrize
Lo veo como una forma de que alguien de la industria blockchain devuelva algo a la fundación que hizo posible la cripto: matemáticas, criptografía, funciones hash y curvas elípticas.
Sin matemáticas, la blockchain quizá seguiría siendo solo una idea en una pizarra esperando su primer bloque, mientras las comisiones de gas siguen subiendo.
Lo que hace interesante el Premio Justin Sun es su enfoque en los resultados más que en la edad, la reputación o las nominaciones tradicionales.
Un avance puede venir de un ser humano, de una IA o de una combinación de ambos. Pero para recibir el premio, la prueba debe formalizarse y verificarse por una máquina, de la primera línea a la última, sin errores.
En términos sencillos:
→ El probador crea el avance.
→ El formalizador lo convierte en algo que una máquina puede verificar.
→ La blockchain registra el proceso de forma pública y transparente.
Me gusta especialmente el mecanismo de “espera”. Una vez que la comunidad matemática acepta una prueba, el nombre del probador se registra primero. El premio permanece bloqueado hasta que la prueba se verifique formalmente.
Ese periodo de espera no es tiempo perdido. Se convierte en una lista pública de tareas importantes para que completen matemáticos, desarrolladores e investigadores de IA.
Justin Sun aún puede ser una figura controvertida, pero la reputación no se construye solo con palabras. Se construye con lo que queda después de muchos años.
Si este sistema funciona como está diseñado, podría convertirse en una inversión a largo plazo en conocimiento, transparente como blockchain y duradero como las matemáticas.
LFG!!!
#Tron #JustinSunPrize
1
87
Con verificación
Un análisis excepcional del nuevo paradigma de verificación formal introducido por el Sr @Square-Creator-123571426 con el #JustinSunPrize .🔴
Frente a la filantropía tradicional, este modelo descentralizado premia la lógica pura a velocidad de la era de la IA, transformando verdades humanas en código inmutable verificado por máquinas sobre la blockchain de $TRX .
Dejo un desglose visual del flujo y sus estados clave.
📚Mgtr. en TIC | David C🔽
Un análisis excepcional del nuevo paradigma de verificación formal introducido por el Sr @JustinSun con el #JustinSunPrize .🔴
Frente a la filantropía tradicional, este modelo descentralizado premia la lógica pura a velocidad de la era de la IA, transformando verdades humanas en código inmutable verificado por máquinas sobre la blockchain de $TRX .
Dejo un desglose visual del flujo y sus estados clave.
📚Mgtr. en TIC | David C🔽
Frente a la filantropía tradicional, este modelo descentralizado premia la lógica pura a velocidad de la era de la IA, transformando verdades humanas en código inmutable verificado por máquinas sobre la blockchain de $TRX .
Dejo un desglose visual del flujo y sus estados clave.
📚Mgtr. en TIC | David C🔽
3
120
·
--
Alcista
Con verificación
Noticias importantes en el ecosistema de TRON ♦️
{spot}(TRXUSDT)
1️⃣ La capitalización de las stablecoins en TRON creció $4.8 mil millones en 90 días y superó el crecimiento combinado de las otras 9 cadenas del top 10.
2️⃣ @JustinSun lanza el Justin Sun Prize, un bounty descentralizado de hasta $1M.
• Premia tanto a quien demuestra un teorema como a quien lo formaliza en código verificable por máquina.
• Sin burocracia, abierto a humanos e IA, con fondos bloqueados en blockchain.
3️⃣ El ETF de $TRX apostado de CanaryFunds ya está activo en etrade y abre más exposición a TRX en los mercados tradicionales.
// #TGF // #TRONGlobalFriends // #ETF // #Stablecoins // #JustinSunPrize //
Noticias importantes en el ecosistema de TRON ♦️
1️⃣ La capitalización de las stablecoins en TRON creció $4.8 mil millones en 90 días y superó el crecimiento combinado de las otras 9 cadenas del top 10.
2️⃣ @Justin Sun孙宇晨 lanza el Justin Sun Prize, un bounty descentralizado de hasta $1M.
• Premia tanto a quien demuestra un teorema como a quien lo formaliza en código verificable por máquina.
• Sin burocracia, abierto a humanos e IA, con fondos bloqueados en blockchain.
3️⃣ El ETF de $TRX apostado de CanaryFunds ya está activo en etrade y abre más exposición a TRX en los mercados tradicionales.
// #TGF // #TRONGlobalFriends // #ETF // #Stablecoins // #JustinSunPrize //
1️⃣ La capitalización de las stablecoins en TRON creció $4.8 mil millones en 90 días y superó el crecimiento combinado de las otras 9 cadenas del top 10.
2️⃣ @Justin Sun孙宇晨 lanza el Justin Sun Prize, un bounty descentralizado de hasta $1M.
• Premia tanto a quien demuestra un teorema como a quien lo formaliza en código verificable por máquina.
• Sin burocracia, abierto a humanos e IA, con fondos bloqueados en blockchain.
3️⃣ El ETF de $TRX apostado de CanaryFunds ya está activo en etrade y abre más exposición a TRX en los mercados tradicionales.
// #TGF // #TRONGlobalFriends // #ETF // #Stablecoins // #JustinSunPrize //
Greta Denomme lkQH:
Very interesting news! TRX🚀
🤝🐯🧡
2
10
4.7k
·
--
Artículo
Justin Sun Prize (Premio Sun Yuchen)Si resuelves un difícil problema matemático, te dan la recompensa en el acto.
¿De verdad se pudo poner en marcha un sistema así? 😳
El 16 de septiembre, Justin Sun anunció la creación del “Justin Sun Prize (Premio Sun Yuchen)”.
Es un premio completamente nuevo que ofrece recompensas por problemas de demostración matemática.
El lema es “Proved, then paid.” (Demuestra y luego cobra).
---
¿En qué se diferencia de los premios matemáticos tradicionales?
Los premios matemáticos tradicionales, como el Fields Prize o los problemas del Desafío del Milenio, pasan por un proceso de recomendación, evaluación y ceremonia de premiación por parte de la comunidad académica.
Justin Sun Prize (Premio Sun Yuchen)
Si resuelves un difícil problema matemático, te dan la recompensa en el acto.
¿De verdad se pudo poner en marcha un sistema así? 😳
El 16 de septiembre, Justin Sun anunció la creación del “Justin Sun Prize (Premio Sun Yuchen)”.
Es un premio completamente nuevo que ofrece recompensas por problemas de demostración matemática.
El lema es “Proved, then paid.” (Demuestra y luego cobra).
---
¿En qué se diferencia de los premios matemáticos tradicionales?
Los premios matemáticos tradicionales, como el Fields Prize o los problemas del Desafío del Milenio, pasan por un proceso de recomendación, evaluación y ceremonia de premiación por parte de la comunidad académica.
¿De verdad se pudo poner en marcha un sistema así? 😳
El 16 de septiembre, Justin Sun anunció la creación del “Justin Sun Prize (Premio Sun Yuchen)”.
Es un premio completamente nuevo que ofrece recompensas por problemas de demostración matemática.
El lema es “Proved, then paid.” (Demuestra y luego cobra).
---
¿En qué se diferencia de los premios matemáticos tradicionales?
Los premios matemáticos tradicionales, como el Fields Prize o los problemas del Desafío del Milenio, pasan por un proceso de recomendación, evaluación y ceremonia de premiación por parte de la comunidad académica.
68
Artículo
Justin Sun Prize - $10 millones en blockchain TRON para resolver problemas matemáticosEl fondo de premios del Justin Sun Prize ya se ha depositado on-chain. En una dirección pública de la red TRON se encuentran $10 millones, destinados al premio matemático de Justin Sun. El saldo y el movimiento de fondos están disponibles para su verificación mediante el explorador de blockchain TRONSCAN.
La iniciativa une las matemáticas fundamentales, la inteligencia artificial y la blockchain. Las recompensas se prevén no solo por resolver problemas matemáticos complejos, sino también por crear pruebas cuya corrección pueda verificar un ordenador.
Justin Sun Prize - $10 millones en blockchain TRON para resolver problemas matemáticos
El fondo de premios del Justin Sun Prize ya se ha depositado on-chain. En una dirección pública de la red TRON se encuentran $10 millones, destinados al premio matemático de Justin Sun. El saldo y el movimiento de fondos están disponibles para su verificación mediante el explorador de blockchain TRONSCAN.
La iniciativa une las matemáticas fundamentales, la inteligencia artificial y la blockchain. Las recompensas se prevén no solo por resolver problemas matemáticos complejos, sino también por crear pruebas cuya corrección pueda verificar un ordenador.
La iniciativa une las matemáticas fundamentales, la inteligencia artificial y la blockchain. Las recompensas se prevén no solo por resolver problemas matemáticos complejos, sino también por crear pruebas cuya corrección pueda verificar un ordenador.
96
·
--
Otro proyecto de Justin Sun que encuentro extremadamente interesante esta vez no tiene nada que ver con el precio de $TRX ni con DeFi. En cambio, se centra en matemáticas + IA + código abierto.
Recientemente, @justinsuntron launched lanzó The Inaugural 66 Prize Problems de #JustinSunPrize. El concepto es bastante diferente a los premios académicos tradicionales porque este premio no se enfoca en “quién eres, de qué universidad vienes o qué tan famoso eres”.
Lo que realmente importa es:
¿Puedes resolver el problema y puede una máquina verificar tu demostración?
El Justin Sun Prize utiliza un modelo de lista de problemas, abriendo problemas matemáticos a participantes de todo el mundo, incluidos investigadores, desarrolladores, colaboradores independientes, equipos Human + AI y equipos de investigación asistidos por IA.
Lo que más me gusta es que las pruebas de calificación deben superar la verificación formal, como a través de Lean. No basta con escribir una respuesta que simplemente parezca correcta. La prueba debe permitir que una máquina verifique la lógica de principio a fin.
En pocas palabras:
No se trata de “creer que es correcto”. Se trata de “demostrarlo de una forma verificable”.
El nivel de premio más alto, Pinnacle, ofrece una recompensa de $1,000,000 por cada problema resuelto y cerrado con éxito.
Para mí, el aspecto más interesante de los primeros 66 Prize Problems no es solo el dinero del premio. Es el hecho de que esta iniciativa está experimentando con un nuevo modelo de investigación en la era de la IA.
Tradicionalmente, el proceso se ve así:
Una persona formula el problema → un matemático desarrolla la demostración → expertos la leen y la revisan.
Pero podría evolucionar hacia:
Los humanos piensan + la IA ayuda con el descubrimiento + las máquinas verifican la demostración + el código abierto permite que todos la revisen después
Si este modelo tiene éxito, podría darles más oportunidades a individuos, equipos pequeños y personas fuera de universidades prestigiosas para resolver problemas de nivel mundial. Al final, lo que se mide no es la reputación, sino la calidad de la demostración.
@JustinSunPrize @justinsuntron
#JustinSunPrize #TGF #TRONGlobalFriends #TRON
Otro proyecto de Justin Sun que encuentro extremadamente interesante esta vez no tiene nada que ver con el precio de $TRX ni con DeFi. En cambio, se centra en matemáticas + IA + código abierto.
Recientemente, @justinsuntron launched lanzó The Inaugural 66 Prize Problems de #JustinSunPrize. El concepto es bastante diferente a los premios académicos tradicionales porque este premio no se enfoca en “quién eres, de qué universidad vienes o qué tan famoso eres”.
Lo que realmente importa es:
¿Puedes resolver el problema y puede una máquina verificar tu demostración?
El Justin Sun Prize utiliza un modelo de lista de problemas, abriendo problemas matemáticos a participantes de todo el mundo, incluidos investigadores, desarrolladores, colaboradores independientes, equipos Human + AI y equipos de investigación asistidos por IA.
Lo que más me gusta es que las pruebas de calificación deben superar la verificación formal, como a través de Lean. No basta con escribir una respuesta que simplemente parezca correcta. La prueba debe permitir que una máquina verifique la lógica de principio a fin.
En pocas palabras:
No se trata de “creer que es correcto”. Se trata de “demostrarlo de una forma verificable”.
El nivel de premio más alto, Pinnacle, ofrece una recompensa de $1,000,000 por cada problema resuelto y cerrado con éxito.
Para mí, el aspecto más interesante de los primeros 66 Prize Problems no es solo el dinero del premio. Es el hecho de que esta iniciativa está experimentando con un nuevo modelo de investigación en la era de la IA.
Tradicionalmente, el proceso se ve así:
Una persona formula el problema → un matemático desarrolla la demostración → expertos la leen y la revisan.
Pero podría evolucionar hacia:
Los humanos piensan + la IA ayuda con el descubrimiento + las máquinas verifican la demostración + el código abierto permite que todos la revisen después
Si este modelo tiene éxito, podría darles más oportunidades a individuos, equipos pequeños y personas fuera de universidades prestigiosas para resolver problemas de nivel mundial. Al final, lo que se mide no es la reputación, sino la calidad de la demostración.
@JustinSunPrize @justinsuntron
#JustinSunPrize #TGF #TRONGlobalFriends #TRON
Recientemente, @justinsuntron launched lanzó The Inaugural 66 Prize Problems de #JustinSunPrize. El concepto es bastante diferente a los premios académicos tradicionales porque este premio no se enfoca en “quién eres, de qué universidad vienes o qué tan famoso eres”.
Lo que realmente importa es:
¿Puedes resolver el problema y puede una máquina verificar tu demostración?
El Justin Sun Prize utiliza un modelo de lista de problemas, abriendo problemas matemáticos a participantes de todo el mundo, incluidos investigadores, desarrolladores, colaboradores independientes, equipos Human + AI y equipos de investigación asistidos por IA.
Lo que más me gusta es que las pruebas de calificación deben superar la verificación formal, como a través de Lean. No basta con escribir una respuesta que simplemente parezca correcta. La prueba debe permitir que una máquina verifique la lógica de principio a fin.
En pocas palabras:
No se trata de “creer que es correcto”. Se trata de “demostrarlo de una forma verificable”.
El nivel de premio más alto, Pinnacle, ofrece una recompensa de $1,000,000 por cada problema resuelto y cerrado con éxito.
Para mí, el aspecto más interesante de los primeros 66 Prize Problems no es solo el dinero del premio. Es el hecho de que esta iniciativa está experimentando con un nuevo modelo de investigación en la era de la IA.
Tradicionalmente, el proceso se ve así:
Una persona formula el problema → un matemático desarrolla la demostración → expertos la leen y la revisan.
Pero podría evolucionar hacia:
Los humanos piensan + la IA ayuda con el descubrimiento + las máquinas verifican la demostración + el código abierto permite que todos la revisen después
Si este modelo tiene éxito, podría darles más oportunidades a individuos, equipos pequeños y personas fuera de universidades prestigiosas para resolver problemas de nivel mundial. Al final, lo que se mide no es la reputación, sino la calidad de la demostración.
@JustinSunPrize @justinsuntron
#JustinSunPrize #TGF #TRONGlobalFriends #TRON
1
136
Inicia sesión para explorar más contenidos
Únete a usuarios de criptomonedas de todo el mundo en Binance Square
⚡️ Obtén la información más reciente y útil sobre criptomonedas.
💬 Confía en el mayor exchange de criptomonedas del mundo.
👍 Descubre opiniones reales de creadores verificados.
Correo electrónico/número de teléfono
Temas en tendencia
1
#BitwiseFilesToListNEARETFOnNYSEArca
0 visualizaciones
5 participa(n) en el debate
2
#SECCommissionerPeirceToLeaveOct2
0 visualizaciones
4 participa(n) en el debate
3
#SECSaysBuybacksUpgradesDontMakeTokenSecurity
196 visualizaciones
31 participa(n) en el debate
4
#CircleTetherFreezeBitgetHackerWallet
0 visualizaciones
1 participa(n) en el debate
5
#CoinMarketCapCompletesCoinglassAcquisition
76 visualizaciones
20 participa(n) en el debate
6
#QNTRises39%
58,299 visualizaciones
1,234 participa(n) en el debate
7
#EthereumBreaksAbove$2700
4,834 visualizaciones
121 participa(n) en el debate
8
#BitgetBreachForgedRequestsNotStolenKeys
57,191 visualizaciones
975 participa(n) en el debate
9
#BitcoinSpotETFsTurnNetPositiveYTD
34,593 visualizaciones
737 participa(n) en el debate
10
#GrayscaleZcashETFHits$1BNetAssets
4,132 visualizaciones
59 participa(n) en el debate