Por qué creé el Premio Sun Yuchen

Uno
Nobel inventó la dinamita. La mayor parte de su fortuna en vida procedía de ello.
Se dice que en 1888, un periódico francés publicó por error su obituario, con el titular «Ha muerto el mercader de la muerte». Leyó su propio obituario y, unos años después, redactó su testamento.
Hoy nadie vuelve a llamarlo el mercader de la muerte.
«Nobel» se convirtió en un sustantivo neutro, como «voltio» y «vatio», sin carga emocional, simplemente una unidad. Entregó el dinero a «quienes hayan hecho la mayor contribución a la humanidad»; el dinero volvió a manos de la humanidad y su nombre también regresó a la neutralidad, no gracias a una defensa, sino a más de cien años de listas de galardonados.
Cuento esta historia porque lo entiendo. Sé de dónde viene el dinero y también sé adónde puede ir.

Dos
El origen de mi fortuna es la matemática.
La industria de la cadena de bloques se sustenta en su conjunto sobre construcciones criptográficas y supuestos de seguridad respaldados por años de investigación: la dificultad del logaritmo discreto en curvas elípticas, la irreversibilidad de las funciones hash y la dificultad de factorizar números grandes. En 1985, dos matemáticos pensaron por separado que podían utilizar curvas elípticas para la criptografía; uno estaba en una universidad y el otro en IBM, sin conocerse. Aquel año nadie creyó que aquello fuera útil. Lo que escribieron en la pizarra se convirtió después en un mercado de 10 billones de dólares y en algo sin precedentes: una persona podía controlar por completo su propia riqueza sin necesitar el permiso de nadie. Ellos no recibieron ni un centavo.
Esta libertad es uno de los regalos de las matemáticas a la humanidad más infravalorados. He tomado mucho de ese regalo. Crear este premio es, ante todo, saldar una deuda.

Tres
El Premio Nobel no tiene un premio de matemáticas. Fue un descuido de hace más de cien años; quizá hubo razones personales o quizá simplemente no lo pensó.
Después llegaron la Medalla Fields, cada cuatro años y para menores de cuarenta; y el Premio Abel, anual y destinado a reconocer los logros de toda una vida. Ambos son excelentes, pero su ritmo es el de una época anterior.
En el mundo de las matemáticas hubo en realidad otro tipo de premio. Erdős ponía precio a los problemas a lo largo de toda su vida, desde 25 dólares hasta 10.000 dólares; quien los resolvía recibía un cheque suyo. Muchas personas enmarcaron los cheques en la pared y nunca los cobraron. Murió en 1996 y, desde entonces, se emiten cada vez menos cheques de ese tipo.
Pero las matemáticas están entrando en una época diferente. La inteligencia artificial no puede hacer experimentos, pero sí puede deducir; le resulta muy difícil construir un colisionador para un físico, pero puede probar diez mil caminos por un matemático. Hoy una conjetura puede tardar meses en pasar de su planteamiento a su resolución, o quizá solo días. Un premio que se concede cada cuatro años, ante semejante velocidad, es como un reloj que suena una vez cada cuatro años colgado en una época que mide el tiempo en días.

Cuatro
Por eso las reglas del Premio Sun Yuchen son muy sencillas.
El premio sigue al problema, no a la persona. No espera a la conferencia anual, ni a las nominaciones, ni a la edad.
Cada problema tiene dos columnas para los nombres. Una registra al autor de la demostración y la otra a quien la formaliza, la persona que introduce la demostración en una máquina. Pueden ser la misma persona o dos desconocidos separados por medio planeta. Puede ser una persona, una IA o una persona utilizando IA; no me importa la especie en ninguna de las dos columnas. El mismo nombre puede aparecer una y otra vez, en cualquiera de las dos columnas.
El dinero solo tiene un desencadenante: que la máquina verifique la demostración desde la primera línea hasta la última, sin equivocarse en un solo paso. Una vez superada la verificación, los nombres de ambas columnas son los titulares del premio de ese problema. Este criterio no lo he inventado yo. Scholze expuso su teorema más importante para que alguien lo introdujera en una máquina; el último teorema de Fermat está siendo introducido ahora, línea a línea.
Antes de que la máquina lo verifique, la demostración humana tampoco se hace en vano. Si la comunidad matemática la acepta, el nombre se coloca primero, el dinero permanece intacto y el estado indica: demostrado, pendiente de formalización.
El dinero de la columna de resolución solo se paga por los problemas resueltos después de ser publicados. Si ya estaban resueltos al publicarse, se registra igualmente el nombre del autor de la demostración, pero el dinero solo se paga a quien la introduzca en una máquina. Este premio registra lo que ocurra después de su creación; no paga premios retroactivos a la historia de las matemáticas.
La división del trabajo es clara: los nombres pertenecen a la comunidad matemática, el dinero a la máquina y el financiador no se atribuye ninguna de las dos cosas. El criterio humano se reduce a una sola tarea: confirmar que el problema introducido en la máquina es realmente ese problema.
Queda una última cosa que decido yo: la lista de problemas. Qué problema se publica y qué precio se fija, lo firmo yo. En los cheques de Erdős, el precio también lo escribía él mismo; aquí no voy a fingir que es distinto. Pero una vez que se coloca en el estante, queda bloqueado: solo se pueden añadir problemas, nunca retirarlos; el dinero solo se canjea, nunca se devuelve, y nadie, incluido yo, puede modificarlo. Si el problema está mal redactado, se paga igualmente y luego se vuelve a publicar.
Todo mi gusto se emplea en esta única tarea. Aparte de fijar los precios, no tengo ni un voto en la verificación, el pago ni la atribución de nombres.
Los resultados deciden.

Cinco
Lo que más me gusta de estas reglas es una palabra: «espera».
Una vez que un problema se resuelve y la comunidad matemática lo acepta, el dinero no se mueve de inmediato. Primero se coloca el nombre del autor de la demostración; la columna de formalización queda vacía y el estado indica: demostrado, pendiente de formalización. Quien introduzca esa demostración en una máquina, una vez verificada por esta, ocupará la columna vacía y el recorrido de la titularidad del dinero comenzará en ese momento.
En otros premios, esperar es un retraso, un trámite, un mal necesario. Aquí, la espera es en sí misma una lista.
Muchos enmarcaron los cheques de Erdős en la pared y nunca los cobraron. El dinero enmarcado mira hacia atrás: es un recuerdo; el dinero colgado en la cadena mira hacia delante: es una convocatoria. Esa columna vacía equivale a decirle al mundo entero: aquí hay un trabajo disponible y tiene un precio.
Así, esta lista de problemas da lugar al mismo tiempo a otra cosa: un mapa público que marca todo aquello que la humanidad ya ha reconocido, pero que las máquinas aún no. Hoy ese mapa no existe. Solo hay fragmentos, dispersos en varios lugares; nunca se han unificado y mucho menos se les ha asignado un precio.
A quienes formalizan nunca les ha faltado entusiasmo; les ha faltado un plano de obra con precios. Quien rellene ese espacio se llevará el dinero. A partir de ahora, trasladar demostraciones largas a las máquinas seguirá siendo su pasión, pero la factura correrá de mi cuenta. $ETH

‌#Gate打金狗獨家支持0Gas交易