El 16 de septiembre, Sun Yuchen, fundador de TRON, anunció oficialmente la creación del "Premio Sun Yuchen". Se trata del primer mecanismo de recompensa académica descentralizado y de confianza cero basado en una "lista de problemas", con criterios exclusivos de otorgamiento: avances significativos en disciplinas básicas y verificación formal por máquina, con una recompensa máxima de hasta 1 millón de dólares por problema. La creación de este premio no solo llena el vacío histórico de más de cien años sin un premio Nobel de matemáticas, sino que también busca redefinir en la era de la IA la lógica y los límites de la recompensa científica, impulsando la aceleración conjunta de la investigación científica básica por parte de humanos e inteligencia artificial.
Sun Zhenyu también anunció la lista de ganadores del primer "Premio Sun Zhenyu", que reconoce los logros en la resolución y demostración formal de 66 problemas matemáticos. El premio principal, de 1 millón de dólares estadounidenses, fue otorgado al equipo de investigación de OpenAI por su solución y demostración formal del problema de "existencia y suavidad de las ecuaciones de Navier-Stokes tridimensionales". Según la información publicada por OpenAI, la demostración fue generada por su sistema interno, el trabajo de formalización fue realizado por GPT-6 Astra y ya ha sido verificada mediante Lean.
Este problema involucra la ecuación de Navier–Stokes, que describe el movimiento de fluidos y se conoce comúnmente como la ecuación N–S. Esta ecuación fue desarrollada en el siglo XIX por físicos y matemáticos como el físico francés Claude-Louis Navier y el matemático irlandés-británico George Gabriel Stokes, y tiene aproximadamente doscientos años de historia. En el año 2000, el Instituto Clay de Matemáticas incluyó el "problema de la existencia y suavidad de las ecuaciones de Navier–Stokes en tres dimensiones" como uno de los siete problemas del milenio, ofreciendo una recompensa de 1 millón de dólares por su solución.
Los resultados premiados en esta ocasión también involucran la conjetura de Sandor, el problema de los subconjuntos distintos de Erdős y la conjetura de costos conservados de Dinitz–Garg–Goemans. Según las normas del "Premio Sun Yuchen", los ganadores listados deben solicitar activamente la reclamación del premio.
Sun Zhenyu afirmó que las matemáticas son el lenguaje y marco subyacente de todas las ciencias básicas. Lo que realmente amplía los límites del conocimiento humano nunca ha sido solo la búsqueda solitaria, sino la transformación de las intuiciones en resultados formalizados que pueden ser verificados rigurosamente por máquinas y reproducidos por toda la humanidad. El "Premio Sun Zhenyu" nació precisamente para esto: no establece umbrales tradicionales de nominación o antecedentes, ni sigue un ritmo cada cuatro años o basado en logros de toda una vida, sino que vincula directamente los premios económicos con problemas matemáticos aún no resueltos y con pruebas formalizadas verificables por máquinas. Cualquier contribuyente, ya sea investigador profesional, entusiasta independiente, o individuo o equipo que combine a personas con IA, recibirá la recompensa siempre que sea el primero en lograr una ruptura.
En la era de la IA, el ciclo de resolución de una conjetura se ha reducido de años a meses e incluso días. Los sistemas de recompensa tradicionales, centrados en "logros de toda la vida" o ciclos fijos, ya no pueden acompanar este ritmo acelerado de la ciencia. La visión del "Premio Sun Yuchen" es convertirse en el "Premio Nobel de la era de la IA", respondiendo a la profunda transformación de la investigación científica y la motivación en esta nueva época mediante un enfoque más descentralizado, formalizado y automatizado. Mantendrá y actualizará públicamente de forma continua un repositorio matemático de problemas y código formalizado; una vez publicada, la lista de problemas quedará bloqueada permanentemente, solo aumentará, las recompensas se pagarán pero no se devolverán, convirtiéndose en un "mapa de construcción con precios asignados".
Según se indica, el premio "Sun Yuchen" se otorgará únicamente al primer finalizador; si múltiples personas lo completan conjuntamente, el premio se distribuirá según el porcentaje de contribución. El resolutor del problema recibirá el 70% del premio total, mientras que quien complete la verificación formal recibirá el 30%; si una sola persona completa tanto la resolución como la verificación formal, obtendrá el premio completo. Incluso si el desafío es resuelto por un sistema de inteligencia artificial, se otorgará el premio, siempre que una persona natural, una persona jurídica o su representante autorizado por escrito actúe como solicitante y receptor legal del pago. El premio cubre los avances matemáticos obtenidos a partir del 1 de enero de 2026; si el problema ya fue resuelto antes de esa fecha pero la verificación formal se completó posteriormente, el responsable de la verificación formal recibirá el premio. La lista actual de problemas incluye la verificación formal de la conjetura de Poincaré, la conjetura de Riemann, la conjetura de Goldbach, así como numerosos problemas no resueltos planteados por el fallecido matemático y ganador del Premio Wolf, Paul Erdős.
Sun Zhenyu reveló que, además del premio en efectivo, los ganadores también recibirán un certificado y una medalla, cuyo anverso muestra el retrato de Sun Zhenyu y el nombre "Premio Sun Zhenyu" en chino e inglés, mientras que el reverso presenta una escultura que representa la exploración humana del universo, con el texto latino "Quod probatur, solvitur" grabado en el borde, que significa "Lo que se demuestra, se resuelve". La medalla está hecha de cobre y recubierta con 6 gramos de oro puro en la superficie.
El "Premio Sun Yuchen" se adhiere a tres principios fundamentales: apertura, beneficencia y código abierto: está dirigido a todos los contribuyentes que cumplan los requisitos, sin restricciones de nacionalidad, institución o identidad, y sin distinción entre humanos e IA; los fondos se utilizan exclusivamente para la entrega del premio y el trabajo abierto, sin fines de lucro; la lista de problemas, los criterios de confirmación, y los materiales de prueba y verificación se ponen completamente a disposición del público a través de GitHub, y los registros de distribución de premios se registran en la cadena, siendo permanentemente rastreables e inalterables.
Sun Zhenyu señaló que actualmente la tarea de convertir pruebas matemáticas humanas en pruebas formalizables verificables por máquina sigue dependiendo principalmente del entusiasmo espontáneo de la comunidad de formalización, como Lean, y que desde hace mucho tiempo ha faltado un incentivo económico sistemático. "A los formalistas nunca les ha faltado entusiasmo, sino un mapa de construcción con precios asignados." El "Premio Sun Zhenyu" ofrece por primera vez una lista pública y recompensada para este paso clave, con el objetivo de transformar radicalmente esta situación.
Él agregó: "Un premio nombrado con un nombre humano es lo menos político del mundo. Más importante aún, esto representa un cumplimiento personal: mi riqueza tiene su origen en las matemáticas. Surgió de las matemáticas y regresa a las matemáticas." Según información pública, en los últimos años, Sun Yuchen ha donado aproximadamente 45 millones de dólares estadounidenses (unos 300 millones de yuanes chinos) en áreas como tecnología, medio ambiente y rescate ante desastres. A partir de ahora, su enfoque filantrópico se centrará completamente en el "Premio Sun Yuchen", promoviendo de manera continua y transparente, verificable, el avance acelerado de la ciencia básica.
“No soy matemático, soy un observador, yo pago. Lo demás, déjenlo en manos de la prueba,” dijo Sun Zhen. La creación oficial del “Premio Sun Zhen” ha dado inicio a un nuevo paradigma de incentivos científicos centrado en la verificación por máquina, impulsado por la colaboración humano-máquina y basado en recompensas descentralizadas.