justinsunprize

Los primeros ganadores del Justin Sun Prize ya han sido confirmados oficialmente👏

Felicitaciones a Wouter van Doorn, Yanyang Li y Quanyu Tang, quienes lograron resolver problemas del catálogo de Erdős. Este es otro hito importante para un proyecto con una idea bastante clara: premiar trabajos matemáticos que puedan demostrarse, verificarse y confirmarse de verdad.

Lo interesante del Justin Sun Prize es que el proyecto no da prioridad a la fama, la universidad ni el estatus de los participantes. En cambio, utiliza una lista abierta de problemas y pone el énfasis en trabajos que puedan verificarse. Entre ellos hay tanto personas que resuelven problemas matemáticos como quienes ayudan a convertir esas soluciones en demostraciones Lean que las máquinas puedan verificar.

Actualmente, el banco de problemas del proyecto cuenta con más de 1.000 problemas, junto con información pública sobre los candidatos, las pruebas de verificación y los premios confirmados.

#TRONGlobalFriends #TGF #Tron #justinsunprize #formalverification

🏆 EL PREMIO JUSTIN SUN（孫宇晨賞）

✦ ¿Por qué se estableció el Premio Justin Sun?

¡El fundador de TRON, Justin Sun ( @justinsuntron ), creó este premio para reinvertir sus propios activos personales en la investigación matemática!

Detrás de su creación, hay este tipo de ideas que él mismo expresó en una carta abierta.

💬 «La riqueza nace de las matemáticas. Por eso, debe reinvertirse en las matemáticas.»

Lo interesante de este premio es que no solo se evalúa a quienes resuelven problemas matemáticos difíciles👀

Principalmente se valoran estos dos aspectos:

✅ La resolución de problemas matemáticos y el avance de investigaciones esenciales ✅ Iniciativas para convertir esos logros en un formato que también pueda verificarse con máquinas como la IA (verificación formal)

En otras palabras, además de nuevas descobertas matemáticas, también se valora que su corrección pueda confirmarse mediante máquinas.

Además, se busca evaluar adecuadamente también los resultados creados mediante la colaboración entre humanos e IA🤝

No solo impulsar el avance de la investigación matemática, sino abrir juntos el futuro de las matemáticas, con la IA y las personas.

Y ese es el tipo de apoyo continuo que brinda este Justin Sun Prize🔥

#JustinSunPrize
#TRONGlobalFriends #TGF
@TRON DAO
@TronDao_JPN
@justinsuntron

https://x.com/justinsunprize/status/2102664015692562920?s=46&t=4eHd0fxsg3qDAkvAzm2QAQ

🎯 ¿Por qué nació el “Justin Sun Prize”?@Justin Sun孙宇晨

En esta imagen se explica el motivo por el cual se estableció el Justin Sun Prize (Premio Sun Yuchen).

Las matemáticas han sido un campo importante que ha respaldado la carrera de Justin Sun.
Por eso, aportó fondos de su propio bolsillo y creó un premio para apoyar la investigación matemática y la verificación formal de demostraciones.

El punto clave aquí👇

🧮 Convertir lo que se obtiene de las matemáticas en algo que se devuelve a las matemáticas

Con esa idea como eje,

🔹 Investigaciones que resuelven problemas difíciles en matemáticas
🔹 Convertir esos logros en “demostraciones formalizadas” que puedan verificarse con máquinas
🔹 Investigaciones en las que colaboran humanos y una IA

La meta es crear un sistema para registrar y evaluar estos resultados y conectarlos con recompensas.

En otras palabras, no es solo un “concurso con premio en dinero”: su característica principal es apoyar desde la resolución de problemas matemáticos hasta el punto de convertir esas demostraciones en un formato que la IA o las computadoras puedan verificar.

“¿Por qué surgió un nuevo premio?”

La respuesta es que quiere devolver a las matemáticas que apoyaron su propia carrera, ahora en forma de financiación y oportunidades.

Y, además, al incluir la investigación conjunta no solo con humanos sino también con IA, está poniendo la mirada en las posibilidades de la investigación matemática del futuro, lo cual me parece realmente interesante.🧠🤖
@TRON DAO
#JustinSunPrize #TGF #TRONGlobalFriends

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

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

☀️ 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

🏆 ¿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

📢 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

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

Reconocer tanto la resolución del problema como la formalización de la prueba merece reconocimiento.

Así es como está estructurado el #JustinSunPrize .

https://x.com/JustinSunPrize/status/2104485388048007170

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🔽

🏆 El Premio Justin Sun abre nuevas oportunidades para desarrolladores de software e investigadores!

Resolver problemas es un paso importante, pero demostrar la validez de la solución es igual de crucial. En este sentido, el programa The Justin Sun Prize destaca dos roles fundamentales en el mundo de la programación y la verificación matemática, mediante un esquema de recompensas que combina innovación y precisión.

🔍 ¿Cómo se distribuyen las recompensas?

El programa divide el premio en dos tareas principales:

🔹 70% para el Problem Solver (Solucionador del problema):
Se otorga a quien logre encontrar una solución para el problema planteado, ya sea una persona o un equipo, como reconocimiento por el esfuerzo dedicado al desarrollo de la solución y al logro del resultado requerido.

🔹 30% para el Lean Formalizer (Formalizador Lean):
Se asigna a quien se encarga de transformar la solución en una forma matemática formal utilizando el lenguaje Lean, una herramienta especializada que ayuda a verificar la corrección de las demostraciones matemáticas de manera precisa y comprobable.

💡 ¿Lo más interesante?

Si la misma persona o el mismo equipo logra realizar ambas tareas, puede obtener el 100% del valor del premio, de acuerdo con las condiciones y reglas establecidas del programa.

🔗 Para conocer los detalles y las condiciones:
hejustinsun.com/prize/rules

#JustinSunPrize #JustinSun
#Tron #TRX #TRONGlobalFriends #TGF @TRON DAO @Justin Sun孙宇晨

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 //

#JustinSunPrize bttc para cuando ?

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