Джастин Сан учредил себе персональную Нобелевку.
El fundador de TRON decidió que al mundo le falta otro premio de matemáticas y lo llamó, por supuesto, en su honor. Justin Sun Prize: el premio principal es de hasta 1 millón de dólares por un solo problema resuelto. La modestia, evidentemente, no figuraba entre las prioridades.
Cualquiera puede participar: literalmente cualquiera, desde un académico distinguido hasta un entusiasta desconocido, un equipo entero e incluso una red neuronal. ¡Democrático! Pero arrebatar el premio por un bonito intento de demostración no será tan fácil.
El camino hacia el dinero está montado como un quest de tres niveles:
La demostración primero debe obtener la aprobación de la comunidad matemática: con palabras bonitas no basta.
Luego aparece otro participante: el “formalizador”, que traduce la lógica humana al lenguaje del código.
Y solo después de eso el sistema Lean vuelve a revisar todo el razonamiento línea por línea, sin fiarse de nadie a ciegas.
El premio, por cierto, se divide en partes iguales: la mitad, para el autor de la idea; la otra mitad, para quien la convirtió en código que no se puede poner en duda. Una especie de tándem matemático “cerebro + traductor”.
El dinero está en una dirección pública de blockchain; los pagos, en cripto. Bonito, descentralizado y moderno. Pero hay un matiz: al ganador igual le tocará pasar KYC/AML. Es decir, incluso la matemática premium en blockchain no te salva del viejo y querido departamento de cumplimiento: te encontrará en todas partes, tanto en Lean como en blockchain, o incluso en el paraíso de los genios.
Resultado: el premio suena a lo grande, la mecánica es honesta y bien pensada; pero con el nombre de Justin, claramente no se anduvo con modestia.
