El fundador de TRON, Justin Sun, anunció la creación del Justin Sun Prize, un nuevo premio para la resolución de problemas matemáticos complejos y la formalización de demostraciones para su verificación por máquinas.
La idea se diferencia claramente de los premios científicos tradicionales. Aquí no hay límites de edad, ceremonia anual ni la votación clásica de un comité. La condición principal para recibir la recompensa es que la demostración matemática, finalmente, debe pasar una verificación completa y automática con cero errores.
Es especialmente interesante que las reglas del premio ya contemplen la nueva realidad: resolverán problemas personas, inteligencia artificial o una persona junto con una IA.
Dos premios para un mismo problema matemático
Para cada problema hay dos roles separados.
La primera es prover, es decir, el autor de la demostración matemática.
Segunda: formalizador, la persona o el sistema que convierte esta demostración en una forma estricta, que permite a un ordenador comprobar cada etapa.
Ambos papeles puede desempeñarlos un mismo participante o pueden hacerlo personas completamente distintas. Al mismo tiempo, Sun afirma explícitamente que para él no importa quién obtenga el resultado: una persona, una IA o su combinación.
Si la comunidad matemática reconoce que la nueva demostración es correcta, el nombre de su autor quedará registrado de inmediato. Pero el dinero permanecerá bloqueado con el estado «Proved, pending formalization» hasta que finalice la formalización y la verificación por máquina.
Resulta un modelo interesante. No basta con demostrar un teorema: también hay que hacer que la demostración sea totalmente comprensible y verificable para una máquina.
Por qué Sun decidió crear un premio matemático
Su motivación, Justin Sun la vincula directamente al origen de la criptoindustria. Señala que la blockchain existe gracias a las matemáticas y la criptografía: curvas elípticas, funciones hash y otras construcciones matemáticas.
Según él, una parte considerable de su fortuna la obtuvo gracias a la industria construida sobre estos descubrimientos; por eso, crear un premio para devolver parte de lo obtenido a las matemáticas fundamentales.
Como ejemplo histórico, Sun recuerda al matemático Pál Erdős, que asignaba premios monetarios propios por resolver problemas matemáticos abiertos de entre 25 y 10 000 dólares. El Justin Sun Prize, en la práctica, traslada esta idea a la era de la IA y la blockchain.
Por qué aquí es tan importante la inteligencia artificial
A juicio de Sun, las matemáticas entran en una época completamente nueva. La IA encaja especialmente bien en tareas relacionadas con el razonamiento lógico y la búsqueda exhaustiva de muchas posibles soluciones. Por lo tanto, la velocidad de aparición y verificación de demostraciones matemáticas potencialmente podría aumentar de forma significativa.
Por eso el premio no se realizará una vez cada pocos años. En su lugar, se crea un registro que se actualiza de forma continua de problemas matemáticos con recompensas establecidas de antemano.
Sun se reserva el derecho de decidir qué problemas aparecerán en la lista y cuánto costará resolverlos. Pero después de añadir un problema, no se puede eliminar, y la recompensa destinada a ese problema no se puede devolver de nuevo al patrocinador.
Blockchain en lugar de confiar en el organizador
Otra parte poco común del Justin Sun Prize es el uso de blockchain para el fondo del premio. Según Sun, el fondo inicial ya está publicado on-chain, y su dirección y saldo están disponibles públicamente. Sun, por su parte, solo conserva la posibilidad de añadir fondos nuevos.
Todas las entregas a los ganadores también deben permanecer en la blockchain, permitiendo comprobar independientemente el historial de la distribución de los premios. Las demostraciones matemáticas ganadoras se planea publicarlas de forma abierta.
Así pues, Sun quiere minimizar la necesidad de confiar en él mismo o en una comisión separada: la corrección de la demostración formalizada debe determinarse mediante las matemáticas y la verificación por máquina, y el movimiento de los fondos del premio debe registrarse on-chain.
El premio no está limitado solo a personas
Quizá la característica más inusual del Justin Sun Prize está precisamente aquí. Los premios científicos tradicionales están diseñados para reconocer los logros de personas. En el nuevo sistema, el origen de la solución no debería tener una importancia fundamental.
Si la IA encuentra la demostración por sí sola, o si una persona la obtiene conjuntamente con la IA, el resultado puede aspirar al reconocimiento en las mismas condiciones. Lo principal es que la demostración sea correcta y que sea posible comprobarla formalmente. Esto convierte el premio, a la vez, en un experimento en la intersección de las matemáticas, la IA y la blockchain.
Por qué el premio recibió el nombre de Justin Sun
Sun explica por separado que también quiere llamar a la solución con el nombre propio de la recompensa. Pone como ejemplo los premios Nobel, los Fields, los Abel y Turing, y considera que un nombre personal permite que la iniciativa exista de forma independiente de empresas e instituciones.
Además, el Sun de 36 años escribe que con la fortuna ya acumulada le basta y quiere determinar por sí mismo su destino futuro: el capital obtenido gracias a las matemáticas debe volver a las matemáticas.
Además, afirma que pretende concentrar los próximos esfuerzos filantrópicos precisamente en el Justin Sun Prize, ya que considera esta iniciativa como su contribución potencialmente más significativa. Mientras el premio se dedique exclusivamente a las matemáticas.
Conclusión
Lo más interesante del Justin Sun Prize ni siquiera es el propio fondo del premio, sino el intento de crear un nuevo modelo de remuneración científica para la era de la inteligencia artificial. Aquí se combinan tres líneas a la vez: las matemáticas aportan el problema, la IA puede participar en su resolución y formalización, y la blockchain garantiza la transparencia de la remuneración.
Lo que resulta especialmente revelador es la ausencia de una separación esencial entre el humano y la máquina. Si la IA de verdad empieza a resolver por sí sola problemas matemáticos serios, el Justin Sun Prize potencialmente podría convertirse en uno de los experimentos en los que esos resultados no solo se muestren, sino que se verifiquen formalmente, se registren y adquieran valor económico.
Ahora la pregunta principal es qué problemas matemáticos aún no resueltos aparecerán exactamente en el registro oficial y qué sumas Sun asignará por resolverlos.