🧮🤖 ¿Qué tiene de increíble el «Justin Sun Prize»?@Justin Sun孙宇晨
En esta ocasión, resumí los puntos que me llamaron especialmente la atención al leer las reglas oficiales 👇
💰 El fondo de premios se divide en 5 niveles
🏆 Pinnacle：1000000 USD fijos
🔥 Breakthrough
🔹 Landmark
🚀 Advance
🌱 Contribution
Los niveles II a V establecen el monto del premio según el contenido del problema y el proceso de evaluación.
Además, los premios no se entregan directamente “a una sola persona” como el total,
🧠 quien resolvió el problema matemático → 70%
🤖 quien verificó formalmente con Lean → 30%
Ese es el reparto.
Y lo interesante es que en la “puerta de entrada” de la evaluación colocan la verificación automática con Lean.
No solo se trata de que los humanos determinen “que esta demostración es correcta”,
sino de hacerla verificable de una forma que la computadora pueda reproducir.
Y el objetivo no son únicamente investigadores profesionales: también se incluyen investigadores independientes y equipos de humanos + IA. Según las reglas, el diseño no distingue los logros de humanos y de IA.
🌱 Beneficios que nacen de aquí
・Reinversión de fondos en investigación matemática
・Digitalización de las demostraciones y mejora de la posibilidad de volver a verificar
・Impulso de la investigación matemática utilizando IA
・Apertura de los resultados de investigación y los materiales de verificación
・Incentivos no solo para “quien resuelve problemas”, sino también para “quien formaliza demostraciones”
No es solo “dan premios y listo”, sino que buscan crear un ciclo:
“resolver → formalizar → verificar → conservarlo como conocimiento”.
Personalmente, lo que me pareció especialmente interesante es que integran la IA no solo como sustituto de los humanos, sino como una herramienta para apoyar el descubrimiento, la demostración y la verificación matemática.
A medida que la IA empiece a involucrarse profundamente en la investigación matemática, lo que se recompensa no será “la respuesta que dio la IA”, sino que se deje como una demostración que la máquina pueda verificar.
¡Este mecanismo podría convertirse en un nuevo incentivo en la era en la que IA y humanos investigan juntos, y eso es emocionante para el futuro!
#TGF @TRON DAO #TRONGlobalFriends
En esta ocasión, resumí los puntos que me llamaron especialmente la atención al leer las reglas oficiales 👇
💰 El fondo de premios se divide en 5 niveles
🏆 Pinnacle：1000000 USD fijos
🔥 Breakthrough
🔹 Landmark
🚀 Advance
🌱 Contribution
Los niveles II a V establecen el monto del premio según el contenido del problema y el proceso de evaluación.
Además, los premios no se entregan directamente “a una sola persona” como el total,
🧠 quien resolvió el problema matemático → 70%
🤖 quien verificó formalmente con Lean → 30%
Ese es el reparto.
Y lo interesante es que en la “puerta de entrada” de la evaluación colocan la verificación automática con Lean.
No solo se trata de que los humanos determinen “que esta demostración es correcta”,
sino de hacerla verificable de una forma que la computadora pueda reproducir.
Y el objetivo no son únicamente investigadores profesionales: también se incluyen investigadores independientes y equipos de humanos + IA. Según las reglas, el diseño no distingue los logros de humanos y de IA.
🌱 Beneficios que nacen de aquí
・Reinversión de fondos en investigación matemática
・Digitalización de las demostraciones y mejora de la posibilidad de volver a verificar
・Impulso de la investigación matemática utilizando IA
・Apertura de los resultados de investigación y los materiales de verificación
・Incentivos no solo para “quien resuelve problemas”, sino también para “quien formaliza demostraciones”
No es solo “dan premios y listo”, sino que buscan crear un ciclo:
“resolver → formalizar → verificar → conservarlo como conocimiento”.
Personalmente, lo que me pareció especialmente interesante es que integran la IA no solo como sustituto de los humanos, sino como una herramienta para apoyar el descubrimiento, la demostración y la verificación matemática.
A medida que la IA empiece a involucrarse profundamente en la investigación matemática, lo que se recompensa no será “la respuesta que dio la IA”, sino que se deje como una demostración que la máquina pueda verificar.
¡Este mecanismo podría convertirse en un nuevo incentivo en la era en la que IA y humanos investigan juntos, y eso es emocionante para el futuro!
#TGF @TRON DAO #TRONGlobalFriends
