La nueva convocatoria del Premio Justin Sun reconoce la colaboración entre personas e inteligencia artificial en los problemas de Erdős

Wouter van Doorn es un teórico de números independiente que comenzó a investigar en matemáticas mientras cursaba la carrera en 2010 y siguió colaborando y publicando tras abandonar el ámbito académico tras obtener su máster. Quanyu Tang (汤泉宇) es estudiante de doctorado en Matemáticas en la Universidad de Ciencia y Tecnología de China, cuya investigación abarca la teoría de números, la combinatoria y el 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 sencillos de formular pero difíciles de resolver, han contribuido a dar forma a la investigación en teoría de números y combinatoria, y algunos permanecen sin resolver desde hace décadas. El catálogo de Erdős, recopilado y mantenido por Thomas Bloom, matemático e investigador universitario de la Royal Society en la Universidad de Mánchester, cuenta con más de 1 200 problemas.

Van Doorn y Tang colaboraron con Yanyang Li, de la Facultad de Matemáticas de la Universidad del Sudeste de Nanjing, para resolver el problema de Erdős n.º 650, determinando exactamente cuántos números enteros pueden emparejarse siempre con múltiplos distintos dentro de un intervalo especificado. Van Doorn también elaboró demostraciones verificables por ordenador en Lean, un software para verificar el razonamiento matemático, para el n.º 369, relativo a números enteros consecutivos con factores primos restringidos; el n.º 457, sobre si una secuencia corta de números enteros consecutivos puede contener en su conjunto todos los números primos de un intervalo dado; y el n.º 469, relativo a si la suma de los recíprocos de una clase especial de números, expresables como sumas de sus divisores, da como resultado un total finito.

Tang resolvió por su cuenta el problema n.º 1044, estableciendo un límite inferior preciso para las longitudes de los límites de regiones definidas por polinomios, y contribuyó junto con Li a la solución, realizada por un equipo más amplio, del problema n.º 1196, que establece un límite para las sumas ponderadas sobre conjuntos de números enteros en los que ningún elemento divide a otro.

Su trabajo en el problema n.º 650 ofrece un ejemplo concreto de cómo el juicio humano y la IA pueden complementarse mutuamente. ChatGPT ayudó a desarrollar la estrategia de demostración, mientras que Aristotle, un sistema de IA para el razonamiento matemático, subsanó una laguna durante la formalización de Lean. A continuación, los investigadores simplificaron el argumento y redactaron las demostraciones y la exposición finales.

«Esta experiencia me enseñó cómo los comentarios del público pueden afinar una pregunta de investigación, y cómo el descubrimiento asistido por IA puede combinar el juicio matemático, la colaboración y la verificación rigurosa», afirmó Tang. Estos son los primeros premios confirmados del programa, que reconocen tanto el descubrimiento matemático como el trabajo necesario para que las demostraciones sean verificables de forma independiente. La información sobre el Premio Justin Sun, su catálogo de problemas y las contribuciones de los galardonados está disponible a través del repositorio público de GitHub del programa. Los premios se abonarán en USDT en TRON (TRC-20) o en USDC en Ethereum (ERC-20), según elija el galardonado. Para obtener más información, visite www.hejustinsun.com/prize. Acerca de la Oficina de Justin Sun La Oficina de Justin Sun respalda las iniciativas empresariales, filantrópicas y públicas de Justin Sun a nivel mundial en los ámbitos de la tecnología, la cadena de bloques, la inteligencia artificial, la investigación científica, la inversión, el arte y la exploración espacial.

Justin Sun es embajador y antiguo representante permanente de Granada ante la Organización Mundial del Comercio, así como fundador de TRON. TRON es la cadena de bloques líder en la revolución de las monedas estables, con un volumen de transacciones superior a los 13 billones de dólares desde su creación. En los mercados emergentes de todo el mundo, la población confía en el USDT en TRON para acceder al sistema financiero global.

Sun, discípulo del fundador de Alibaba, Jack Ma, ha sido reconocido internacionalmente por su labor en el sector de los activos digitales, lo que incluye un reportaje de portada en la revista Forbes en abril de 2025 y múltiples apariciones en la lista «30 Under 30» de Forbes. En agosto de 2025, voló a bordo de la misión NS-34 de Blue Origin, convirtiéndose en la persona número 712 de la historia en viajar al espacio. Sus intereses abarcan la tecnología, la inversión, la filantropía, el arte, los videojuegos y la exploración espacial.

Oficina de contacto de Justin Sun: info@hejustinsun.com Acerca del Premio Justin Sun

El Premio Justin Sun es una iniciativa académica creada por Justin Sun para apoyar los avances en matemáticas, verificación formal y descubrimientos científicos asistidos por IA. El premio es descentralizado y se basa en el principio de que los trabajos matemáticos deben juzgarse por la solidez, el rigor y la verificabilidad de la propia demostración, y no por el prestigio o la reputación de quienes los presentan.

Justin Sun creó el premio en su propio nombre como un compromiso a largo plazo para devolver a las propias matemáticas la riqueza generada a través de las matemáticas y la tecnología. Su legado pretende definirse por el conjunto de trabajos que reconoce y por los galardonados cuyos descubrimientos resisten el paso del tiempo. El premio vincula retos matemáticos claramente definidos con demostraciones verificables por máquina. Sus principios rectores son la transparencia, el beneficio público y el acceso de código abierto. Visite https://www.hejustinsun.com/prize para obtener más información. Contacto: thejustinsunprize@hejustinsun.com _________________________________________________________________________

Bitcoin.com no asume ninguna responsabilidad ni obligación, y no será responsable, ni directa ni indirectamente, de ninguna pérdida, daño, reclamación, coste o gasto de ningún tipo, ya sea real, alegado o consecuente, que surja de o esté relacionado con el uso o la confianza depositada en cualquier contenido, producto o servicio mencionado en este artículo. La confianza depositada en dicha información es estrictamente por cuenta y riesgo del lector.