Ginebra, Suiza — 5 de octubre de 2026 — La Oficina de Justin Sun anunció hoy los últimos ganadores del Premio Justin Sun: el investigador independiente Wouter van Doorn, el estudiante de doctorado en matemáticas Quanyu Tang y el investigador matemático Yanyang Li de la Universidad del Sureste en Nankín. Fueron reconocidos por sus contribuciones a seis problemas de Erdős.
Wouter van Doorn es un teórico de números independiente que comenzó a investigar matemáticas como estudiante de pregrado en 2010 y continuó colaborando y publicando después de dejar la academia con una maestría. Quanyu Tang (汤泉宇) es un estudiante de doctorado en matemáticas en la Universidad de Ciencia y Tecnología de China cuyas investigaciones abarcan teoría de números, combinatoria y descubrimiento matemático asistido por IA.
Los problemas de Erdős son cuestiones matemáticas planteadas o popularizadas por el matemático húngaro Paul Erdős sobre números, patrones y otras estructuras matemáticas. A menudo son simples de enunciar pero difíciles de resolver, y han ayudado a moldear la investigación en teoría de números y combinatoria, con algunos permaneciendo abiertos durante décadas. El catálogo de Erdős, compilado y mantenido por Thomas Bloom, matemático e investigador universitario de la Royal Society en la Universidad de Mánchester, contiene más de 1200 problemas.
Van Doorn y Tang trabajaron con Yanyang Li de la Escuela de Matemáticas de la Universidad del Sureste en Nankín para resolver el Problema de Erdős #650, determinando exactamente cuántos enteros pueden siempre emparejarse con múltiplos distintos dentro de un intervalo especificado. Van Doorn también produjo pruebas verificables por computadora en Lean, software para verificar razonamiento matemático, para el #369, sobre enteros consecutivos con factores primos restringidos; el #457, sobre si una corta secuencia de enteros consecutivos puede contener colectivamente todos los primos en un rango dado; y el #469, sobre si los recíprocos de una clase especial de números expresables como sumas de sus divisores suman un total finito. Tang resolvió por separado el #1044, estableciendo un límite inferior preciso para longitudes de frontera de regiones definidas por polinomios, y contribuyó junto con Li a la solución de un equipo más amplio del #1196, acotando sumas ponderadas sobre conjuntos de enteros en los que ningún miembro divide a otro.
Su trabajo sobre el #650 ofrece un ejemplo concreto de cómo el juicio humano y la IA pueden complementarse entre sí. ChatGPT ayudó a desarrollar la estrategia de prueba, mientras que Aristotle, un sistema de IA para razonamiento matemático, reparó una laguna durante la formalización en Lean. Los investigadores luego simplificaron el argumento y escribieron las pruebas y la exposición finales.
"Esta experiencia me enseñó cómo la retroalimentación pública puede agudizar una pregunta de investigación, y cómo el descubrimiento asistido por IA puede combinar juicio matemático, colaboración y verificación rigurosa", dijo Tang.
Estos son los primeros premios confirmados del programa, reconociendo tanto el descubrimiento matemático como el trabajo necesario para hacer las pruebas verificables de forma independiente. La información sobre el Premio Justin Sun, su catálogo de problemas y las contribuciones de los receptores está disponible a través del repositorio público de GitHub del programa. Los premios se pagarán en USDT en TRON (TRC-20) o USDC en Ethereum (ERC-20), según la elección del receptor. Para más información, visite www.hejustinsun.com/prize.
Acerca de la Oficina de Justin Sun
La Oficina de Justin Sun apoya las iniciativas globales de negocios, filantrópicas y públicas de Justin Sun en tecnología, blockchain, inteligencia artificial, investigación científica, inversión, arte y exploración espacial.
Justin Sun es el Embajador y ex Representante Permanente de Granada ante la Organización Mundial del Comercio y el Fundador de TRON. TRON es la blockchain líder para la revolución de las stablecoins, procesando más de $13 billones en volumen desde su creación. En los mercados emergentes del mundo, las personas dependen de USDT en TRON para acceder al sistema financiero global.
Un protegido del fundador de Alibaba, Jack Ma, Sun ha sido reconocido internacionalmente por su trabajo en la industria de activos digitales, incluyendo un perfil de portada de Forbes en abril de 2025 y múltiples apariciones en la lista Forbes 30 Under 30. En agosto de 2025, voló en la misión NS-34 de Blue Origin, convirtiéndose en la persona número 712 en la historia en viajar al espacio. Sus intereses más amplios incluyen tecnología, inversión, filantropía, arte, gaming y exploración espacial. Contacto de la Oficina de Justin Sun: info@hejustinsun.com Acerca del Premio Justin Sun El Premio Justin Sun es una iniciativa académica fundada por Justin Sun para apoyar avances en matemáticas, verificación formal y descubrimiento científico asistido por IA. El premio es descentralizado y se basa en el principio de que el trabajo matemático debe ser juzgado por la fuerza, el rigor y la verificabilidad de la prueba misma, no por el prestigio o la reputación de quienes la presentan. Justin Sun estableció el premio en su propio nombre como un compromiso a largo plazo de devolver a las matemáticas mismas la riqueza creada a través de las matemáticas y la tecnología. Su legado está destinado a ser definido por el cuerpo de trabajo que reconoce y los laureados cuyos descubrimientos resisten el paso del tiempo. El premio conecta desafíos matemáticos claramente definidos con prueba verificable por máquina. Sus principios rectores son la apertura, el beneficio público y el acceso de código abierto. Visite https://www.hejustinsun.com/prize para más información. Contacto: thejustinsunprize@hejustinsun.com
Preguntas Frecuentes
Preguntas Frecuentes La Nueva Ronda del Premio Justin Sun para la Colaboración HumanoIA en Problemas de Erds
P1 ¿Qué es el Premio Justin Sun
Es un premio financiado por el empresario cripto Justin Sun que paga a personas por resolver problemas matemáticos, especialmente los vinculados a los famosos problemas de Erds
P2 ¿Qué son los problemas de Erds
Son una gran colección de preguntas matemáticas abiertas planteadas o popularizadas por el legendario matemático húngaro Paul Erds Muchas son simples de enunciar pero muy difíciles de resolver
P3 ¿Qué hay de nuevo en esta ronda del premio
Esta ronda recompensa específicamente soluciones donde un humano y una IA trabajaron juntospor ejemplo una persona usando un modelo de IA como ChatGPT o un asistente de pruebas para resolver un problema
P4 ¿Tengo que usar IA para ganar
Para esta ronda sí El premio está dirigido a la colaboración humanoIA por lo que una solución puramente humana o una generada puramente por IA puede no calificar
P5 ¿Qué cuenta como colaboración humanoIA
Cualquier configuración donde una persona y un sistema de IA contribuyan significativamentediga la IA sugiere pasos de prueba y el humano los verifica corrige y refina
P6 ¿Quién puede participar
Generalmente cualquieraestudiantes aficionados o matemáticos profesionales Consulte las reglas oficiales para límites de edad residencia o elegibilidad
P7 ¿Cuánto es el premio
Los montos de los premios han variado por ronda y dificultad del problema Consulte el anuncio oficial para las cifras exactas
P8 ¿Qué problemas son elegibles
Usualmente problemas de las bases de datos de problemas de Erds o una lista específica publicada con el premio No todo problema abierto califica
P9 ¿Cómo envío una solución
Típicamente a través de un formulario oficial de envío o correo electrónico listado en el anuncio del premio con su prueba y una descripción de cómo se usó la IA
P10 ¿La IA tiene que ser una herramienta específica
No la mayoría de las rondas permiten cualquier herramienta de IAmodelos de lenguaje grandes probadores de teoremas o sistemas personalizadossiempre que documente lo que usó
P11 ¿Necesito explicar el papel de la IA
Sí Los organizadores usualmente quieren un relato claro de lo que hizo la IA versus lo que hizo usted para que la colaboración sea transparente
P12 ¿Qué pasa si la respuesta de la IA es incorrecta
Eso es responsabilidad suya El humano es responsable de verificar cada paso Un