🟡 @justinsuntron acaba de anunciar el Justin Sun Prize, inspirado en Nobel
Su idea: la riqueza que nació de las matemáticas debe volver a ellas, recordando que dos matemáticos idearon la criptografía de curvas elípticas en 1985 y nunca ganaron un centavo de la revolución que hicieron posible
No existe un Nobel de matemáticas, El Fields se otorga cada 4 años y el Abel, cada año, Justin infiere que ese ritmo quedó obsoleto: hoy la IA explora diez mil caminos para un teorema y una conjetura puede probarse en días
Un premio cada cuatro años suena a campana lenta en un mundo cambiante en instantes
El diseño es radicalmente simple: premia la solución, no a la persona. Sin galas, sin nominaciones, sin límite de edad, reconoce a dos roles quien prueba y quien formaliza el teorema para que una máquina lo verifique línea por línea.
Humano, IA o ambos: solo importa el resultado
Todo vive on-chain: fondos públicos, inmutables, verificables dentro de 100 años, Sun solo decide qué problemas entran y cuánto valen; nada más
Justin dice que este es su mayor aporte posible a la humanidad
“No se requiere confianza, La verificación es matemática”
Sun ya publicó los primeros 66 problemas del premio, con lista abierta en GitHub, con el lema: “Quod probatur, solvitur” lo que se prueba, se paga
Todo es de acceso público: lista de problemas, criterios de verificación y las pruebas, sin fines de lucro: cada dólar va al premio
En la cima están los 7 “Pinnacle Problems” con 1 millón de USD cada uno
Son los grandes clásicos: la Hipótesis de Riemann, P vs NP, la conjetura de Birch–Swinnerton-Dyer, la conjetura de Hodge, Navier–Stokes en 3D, Yang–Mills y su brecha de masa, y la conjetura de Poincaré
El anuncio dice “66” pero el catálogo completo en GitHub ya va más allá de 1.000 problemas, los 66 son el lote inaugural
“No soy matemático, soy apenas un observador y un benefactor. El resto queda en manos de las pruebas” @justinsuntron