I
Alfred Nobel inventó la dinamita, lo que le generó la mayor parte de su riqueza.
La leyenda cuenta que en 1888, un periódico francés publicó por error su obituario con el titular: "El mercader de la muerte ha muerto". Nobel leyó su propio obituario y, unos años después, redactó su testamento.
Hoy, nadie lo llama mercader de la muerte.
"Nobel" se ha convertido en un término neutro, al igual que "voltio" o "vatio": despojado de sentimentalismo, simplemente una unidad de medida. Dejó su riqueza a quienes "hayan conferido el mayor beneficio a la humanidad". Su riqueza regresó a la humanidad, y su nombre recuperó su neutralidad, no mediante la autojustificación, sino a través de una lista centenaria de laureados.
Comparto esta historia porque lo entiendo. Sé de dónde proviene la riqueza y hacia dónde puede ir.
II
Mi riqueza se construyó sobre las matemáticas.
Toda la industria blockchain descansa sobre algunos bloques criptográficos bien estudiados y suposiciones matemáticas: la dificultad de resolver logaritmos discretos en curvas elípticas, la irreversibilidad de las funciones hash y la intratabilidad de factorizar números grandes. En 1985, dos matemáticos concibieron independientemente la idea de usar curvas elípticas para la criptografía; uno en una universidad, el otro en IBM, completamente ajenos entre sí. En ese momento, nadie vio ningún uso práctico. Lo que esbozaron en pizarras evolucionó más tarde hacia un mercado de billones de dólares, otorgando a los individuos algo sin precedentes: verdadera soberanía financiera sin permisos. Sin embargo, esos dos matemáticos nunca ganaron un centavo de la revolución que hicieron posible.
Esta libertad es uno de los dones más profundamente subestimados de las matemáticas a la humanidad. He tomado mucho de este don. Establecer este premio es, ante todo, mi forma de devolverle a esa misma base.
III
No existe un Premio Nobel de Matemáticas. Esta omisión data de hace más de un siglo, quizás nacida de razones personales, o quizás de un simple descuido.
Más tarde llegaron la Medalla Fields, otorgada cada cuatro años a matemáticos menores de cuarenta, y el Premio Abel, otorgado anualmente en reconocimiento a una trayectoria vitalicia. Ambos son excepcionales, pero su cadencia pertenece a una era pasada.
La comunidad matemática, sin embargo, tenía su propia tradición. Paul Erdős pasó su vida ofreciendo recompensas por problemas matemáticos sin resolver, desde $25 hasta $10,000. Quien resolviera uno recibía un cheque de él. Muchos enmarcaron estos cheques en sus paredes, sin cobrarlos jamás en vida. Erdős falleció en 1996, y desde entonces, tales recompensas se han vuelto raras.
Las matemáticas están entrando ahora en una era completamente nueva. La inteligencia artificial no puede realizar experimentos físicos, pero destaca en el razonamiento lógico. Podría tener dificultades para construir un colisionador de partículas para los físicos, pero puede explorar diez mil caminos para un matemático. Hoy, el tiempo entre proponer una conjetura y probarla puede ser cuestión de meses, o incluso días. Ante tal velocidad sin precedentes, un premio otorgado cada cuatro años es como una campana lenta sonando en un mundo que cambia día a día.
IV
Por esta razón, el diseño del Justin Sun Prize es extraordinariamente simple.
El premio recompensa la solución, no a la persona. No hay galas anuales, ni nominaciones burocráticas, ni límites de edad.
Cada desafío reconoce dos contribuidores distintos: el demostrador y el formalizador, la persona que traduce la prueba a un formato verificable por máquina. Estos roles pueden ser asumidos por la misma persona, o por desconocidos a medio mundo de distancia. Humano, IA o una combinación de ambos, solo me importa el resultado, no si el contribuidor es humano o una máquina. El mismo nombre puede aparecer una y otra vez, en el espacio donde sea merecido.
El pago tiene un único disparador: la máquina debe verificar la prueba desde la primera línea hasta la última, sin un solo error. Una vez que pasa la verificación, quienes figuran en las dos columnas son los dueños del premio para ese problema.
Yo no inventé este estándar. Peter Scholze publicó su teorema histórico en línea, llamando a la comunidad a formalizarlo para la verificación por máquina; el Último Teorema de Fermat está siendo traducido actualmente a código, línea por línea, mientras hablamos.
Pero el logro humano es reconocido mucho antes de que la máquina complete su trabajo. Una vez que la comunidad matemática acepta una prueba, el nombre del demostrador es oficialmente reconocido. Los fondos permanecen bloqueados, y el estado se actualiza a: "Probado, pendiente de formalización".
La recompensa por resolución aplica solo a desafíos resueltos después de ser añadidos al registro oficial. Si un problema ya está resuelto cuando se incluye, el nombre del demostrador aún se registra, pero el premio va íntegramente a quien lo formalice para la máquina. Este premio documenta la historia mientras se desarrolla; no emite premios retroactivos por trabajos ya hechos.
Los límites están claramente trazados: el crédito va a la comunidad matemática, el premio pertenece a la máquina, y el financiador mantiene estricta independencia de ambas. El juicio humano está reservado para una sola cosa: confirmar que el problema codificado en la máquina es efectivamente el problema correcto.
Mi autoridad comienza y termina con una sola cosa: la lista. Qué desafíos se añaden, y qué recompensas llevan, eso queda a mi única discreción. Erdős escribía los montos en sus cheques personalmente, y no veo razón para romper con esa tradición. Pero una vez que una recompensa está listada, queda bloqueada: los problemas solo pueden añadirse, nunca eliminarse; los fondos solo pueden pagarse, nunca retirados por el financiador.
Nadie, yo incluido, puede alterar esto. Si un desafío está mal planteado, la recompensa se paga de todos modos, y la versión corregida será relistada.
Mi enfoque personal está totalmente concentrado en esta única tarea. Más allá de fijar los precios de las recompensas, no tengo voto en la verificación, el pago o la atribución de nombres.
Los resultados hablan por sí solos.
V
El aspecto más convincente de estas reglas es la "espera".
Después de que un problema es resuelto y aceptado por la comunidad matemática, el premio no se otorga inmediatamente. El nombre del demostrador aparece primero, la columna de formalización permanece en blanco, y el estado dice: "Probado, pendiente de formalización". Una vez que alguien formaliza esa prueba y la máquina la verifica, su nombre entra en la columna en blanco, y el proceso de establecer la propiedad del premio comienza en ese momento.
En otros premios, la espera es tiempo muerto, un proceso burocrático, un mal necesario. Aquí, la espera misma es un inventario abierto de tareas por hacer.
Muchos enmarcaron los cheques de Erdős en sus paredes y nunca los cobraron. Un cheque no cobrado es un monumento al pasado, mientras que el premio bloqueado on-chain es un catalizador para el futuro. Ese espacio en blanco anuncia efectivamente al mundo: una tarea histórica aguarda, y lleva una recompensa.
De esta lista de problemas crece algo mucho más grande: un mapa público, que traza todo lo que la humanidad ha aceptado pero que las máquinas aún no han verificado. Tal mapa no existe hoy. Existe solo en fragmentos, dispersos en plataformas dispares, nunca unificado, y ciertamente sin etiquetas de precio.
Quienes trabajan en la formalización nunca han carecido de pasión; lo que les falta es un plano con recompensas claras adjuntas. La recompensa va a quien complete la tarea. Desde este día, la pasión por alimentar largas pruebas a las máquinas sigue siendo suya, pero el respaldo financiero es mi responsabilidad.
VI
También quiero hablar sobre la filosofía guía. Aquí es donde el premio verdaderamente diverge del Nobel.
Nobel fue un inventor. Creyó, toda su vida, que una cosa debía ser útil, que debía echar raíces en la realidad, ser construida, vendida y cambiar cómo vive la gente. Esa era su filosofía guía, y está grabada en los premios que llevan su nombre: física, química, medicina, literatura, paz. Cada uno recompensa un trabajo que tiene impacto tangible en el mundo real. Durante más de un siglo, el Nobel ha honrado a quienes construyen sobre terreno sólido.
Mi filosofía guía es diferente, y no veo razón para ocultar sus orígenes. He leído el ensayo de Dario Amodei Machines of Loving Grace y comparto la visión que pinta: una nación de genios viviendo dentro de un centro de datos.
Comparto esa visión porque estoy trabajando hacia ese mismo objetivo final. Desde el principio, blockchain ha sido un reino construido enteramente en lo abstracto, sin fábricas, sin minas, sin territorio, solo consenso y matemáticas. Mi trabajo en IA es simplemente otra forma de expandir ese reino. Creo que en este siglo una gran parte de las estructuras más importantes de la humanidad existirán en los reinos digitales, y el razonamiento puro es la única base sobre la cual tal reino puede ser construido. En 1940, G. H. Hardy escribió en A Mathematician’s Apology que estaba contento de que la teoría de números nunca tuviera ningún uso práctico. Ochenta años después, la teoría de números es la base de mi industria.
Nobel y yo hemos elegido direcciones diferentes. Él recompensaba aplicaciones tangibles en el mundo real; yo estoy recompensando lo puramente teórico, estructuras abstractas construidas con precisión lógica impecable. Ningún enfoque es superior al otro; reflejan dos eras y dos paradigmas distintos. Quiero transmitir esta visión de un reino abstracto impulsado por la lógica, año tras año, a través de un premio.
VII
En el otoño de 2007, tres estudiantes se inscribieron en la Universidad de Pekín el mismo año. Uno llegó de Shenzhen, medallista de oro en Olimpiadas, y entró en la Escuela de Ciencias Matemáticas. Otro vino de Guilin, comenzó en Ciencias de la Tierra y Espaciales, luego se transfirió a matemáticas. El tercero era de Huizhou y estudió historia.
Diecinueve años después, dos de ellos compartieron escenario en Filadelfia. Wang Hong y Deng Yu recibieron las Medallas Fields 2026.
El tercero leyó la noticia recientemente mientras navegaba en línea desde la cabina de un jet privado. Dejó el teléfono. Su primer pensamiento no fue orgullo. Fue este: nuestra generación ha madurado. Es hora de que hagamos nuestra propia contribución.
Su contribución es demostrar teoremas. La mía es asegurar que sean recompensados por ello.
VIII
Durante los años, mis esfuerzos filantrópicos han estado dispersos en varias iniciativas. En adelante, estoy concentrando todo mi enfoque en este premio, porque representa mi potencial contribución más significativa a la humanidad.
Por ahora, es un premio de matemáticas.
IX
Un punto final sobre por qué este premio lleva mi nombre: hay dos razones principales.
Primero, un premio nombrado en honor a una persona es una de las pocas cosas que trasciende la política institucional. Nobel, Fields, Abel, Turing, Wolf, los premios más duraderos en matemáticas y ciencias casi todos llevan nombres de individuos. Las naciones cambian, las instituciones se renombran, las empresas desaparecen. Una vez que un nombre está en un premio, se queda. Nadie lo reescribe.
Segundo, me lo debo a mí mismo. Tengo treinta y seis años. La riqueza que ya he acumulado excede lo que necesito. La riqueza sin propósito genera disputas de herencia y degenera en meros registros de casas de subastas. Mientras esté sano mentalmente y capaz, quiero dirigir esta riqueza yo mismo: vino de las matemáticas, y regresa a las matemáticas.
Respecto a cualquier escrutinio público alrededor mío, que la lista de laureados hable por sí sola. No espero que nadie tome mi palabra hoy.
El Justin Sun Prize está construido para resistir la prueba del tiempo.
X
Para cerrar, este premio no requiere confianza entre personas. La verificación es matemática. La máquina solo responde a la lógica. El fondo inicial del premio ya ha sido transferido a la blockchain. La dirección es pública, y cualquiera puede ver el saldo. Solo conservo el derecho de añadir más fondos.
Cada prueba ganadora será hecha pública, para que cualquiera pueda examinarla por sí mismo. No se requiere confianza, ni en mí ni en ningún comité. Cada pago permanecerá en la cadena, público, inmutable, verificable cien años a partir de ahora. Una vez que una prueba se establece, permanece para siempre. Espero que la recompensa dada al demostrador refleje esa misma permanencia perdurable.
No soy un matemático. Soy meramente un observador y un benefactor. El resto queda en manos de las pruebas.
Justin Sun
Para más información sobre el Justin Sun Prize, visita los siguientes canales oficiales:
Sitio Web Oficial: hejustinsun.com/prize
GitHub: github.com/TheJustinSunPrize
