Acabo de leer “Why I Am Establishing the Justin Sun Prize” de @Justin Sun孙宇晨 , y creo que la parte más interesante no es simplemente que Justin esté lanzando un premio de matemáticas.
Lo interesante es el mecanismo que hay detrás.
Justin explica que gran parte de la industria blockchain se construyó sobre matemáticas, desde la criptografía de curvas elípticas hasta las funciones hash. En sus propias palabras, el premio devuelve apoyo a la base que hizo posible que la industria existiera.
Pero la estructura es lo que lo hace diferente.
Cada desafío reconoce dos roles:
• Prover — la persona que resuelve el problema
• Formalizer — la persona que convierte la demostración en una forma verificable por una máquina
Pueden ser la misma persona o colaboradores completamente distintos. Pueden participar humanos, IA o ambos.
La idea clave es sencilla:
No confíes. Verifica.
Esta vez, la verificación no trata sobre dinero ni transacciones.
Se trata de conocimiento.
El proyecto ya anunció sus 66 Problemas del Premio Inaugural, divididos en las categorías Pinnacle, Landmark, Advance y Contribution.
Pero el sistema más amplio es mucho más grande.
El sitio web oficial actualmente enumera un banco de problemas de 1,022 problemas matemáticos, con información como el estado de la solución, el estado de la demostración en Lean, la elegibilidad y el estado de la reclamación.
Así que los 66 problemas son el conjunto del premio inaugural, mientras que los 1,022 problemas forman una base de conocimiento mucho más amplia.
Lo que me parece especialmente interesante es el estado:
“Proved, pending formalization.”
Un problema puede ya haber sido aceptado por la comunidad matemática, pero aún necesita que alguien convierta esa demostración en código que una máquina pueda verificar línea por línea.
Eso hace que la formalización en sí misma sea una contribución valiosa.
Si este sistema sigue creciendo, podría convertirse en algo más que un premio.
Podría convertirse en un mapa público del conocimiento matemático:
Lo que los humanos han resuelto.
Lo que las máquinas pueden verificar.
Y lo que todavía permanece abierto.
Blockchain nos dio dinero verificable.
La IA + las matemáticas formales podrían estar moviéndonos hacia un conocimiento verificable.
Por eso creo que el Justin Sun Prize es mucho más interesante de lo que parece a primera vista.
@TRON DAO #TRONGlobalFriends #TGF
Lo interesante es el mecanismo que hay detrás.
Justin explica que gran parte de la industria blockchain se construyó sobre matemáticas, desde la criptografía de curvas elípticas hasta las funciones hash. En sus propias palabras, el premio devuelve apoyo a la base que hizo posible que la industria existiera.
Pero la estructura es lo que lo hace diferente.
Cada desafío reconoce dos roles:
• Prover — la persona que resuelve el problema
• Formalizer — la persona que convierte la demostración en una forma verificable por una máquina
Pueden ser la misma persona o colaboradores completamente distintos. Pueden participar humanos, IA o ambos.
La idea clave es sencilla:
No confíes. Verifica.
Esta vez, la verificación no trata sobre dinero ni transacciones.
Se trata de conocimiento.
El proyecto ya anunció sus 66 Problemas del Premio Inaugural, divididos en las categorías Pinnacle, Landmark, Advance y Contribution.
Pero el sistema más amplio es mucho más grande.
El sitio web oficial actualmente enumera un banco de problemas de 1,022 problemas matemáticos, con información como el estado de la solución, el estado de la demostración en Lean, la elegibilidad y el estado de la reclamación.
Así que los 66 problemas son el conjunto del premio inaugural, mientras que los 1,022 problemas forman una base de conocimiento mucho más amplia.
Lo que me parece especialmente interesante es el estado:
“Proved, pending formalization.”
Un problema puede ya haber sido aceptado por la comunidad matemática, pero aún necesita que alguien convierta esa demostración en código que una máquina pueda verificar línea por línea.
Eso hace que la formalización en sí misma sea una contribución valiosa.
Si este sistema sigue creciendo, podría convertirse en algo más que un premio.
Podría convertirse en un mapa público del conocimiento matemático:
Lo que los humanos han resuelto.
Lo que las máquinas pueden verificar.
Y lo que todavía permanece abierto.
Blockchain nos dio dinero verificable.
La IA + las matemáticas formales podrían estar moviéndonos hacia un conocimiento verificable.
Por eso creo que el Justin Sun Prize es mucho más interesante de lo que parece a primera vista.
@TRON DAO #TRONGlobalFriends #TGF
