Premios Justin Sun Reconocen Avances en Problemas de Erdős a Través de la Colaboración con IA

La Oficina de Justin Sun ha anunciado a los últimos galardonados con el Premio Justin Sun, honrando al investigador independiente Wouter van Doorn, al estudiante de doctorado en matemáticas Quanyu Tang, y al investigador Yanyang Li de la Universidad del Sudeste en Nanjing. Sus contribuciones abarcan seis problemas de Erdős, que son preguntas matemáticas popularizadas por el matemático húngaro Paul Erdős.

Wouter van Doorn, un teórico de números independiente, y Quanyu Tang, estudiante de doctorado en la Universidad de Ciencia y Tecnología de China, colaboraron con Yanyang Li para resolver el Problema de Erdős #650. Este problema implica determinar cuántos enteros pueden ser emparejados con múltiplos distintos dentro de un intervalo específico.

Van Doorn también ha producido pruebas verificables por computadora para varios otros problemas de Erdős utilizando Lean, un software para verificar razonamientos matemáticos. Estos incluyen problemas relacionados con enteros consecutivos y sus factores primos, así como las propiedades de ciertas clases de números. Tang resolvió por separado el Problema de Erdős #1044, estableciendo límites para las longitudes de frontera definidas por polinomios, y contribuyó a la solución del Problema #1196.

Su trabajo ejemplifica la colaboración entre el juicio humano y la IA, con herramientas como ChatGPT ayudando en el desarrollo de estrategias de prueba y Aristóteles, un sistema de razonamiento basado en IA, ayudando a abordar lagunas en la formalización. Tang destacó que la experiencia subrayó la importancia de la retroalimentación pública en la refinación de preguntas de investigación y demostró cómo la IA puede mejorar el descubrimiento matemático.

Esta ronda de premios marca los primeros reconocimientos confirmados por el Premio Justin Sun, que tiene como objetivo apoyar los avances en matemáticas y el descubrimiento científico asistido por IA. Los premios se otorgarán en USDT en TRON o USDC en Ethereum, dependiendo de las preferencias de los galardonados.

Últimas Actualizaciones sobre los Premios Justin Sun

Fecha: 5 de octubre de 2026

El Premio Justin Sun ha galardonado al investigador independiente Wouter van Doorn, al estudiante de doctorado en matemáticas Quanyu Tang y al investigador en matemáticas Yanyang Li por sus contribuciones significativas a seis problemas de Erdős.

Wouter van Doorn es reconocido por su trabajo en teoría de números, habiendo comenzado su trayectoria de investigación en 2010. Quanyu Tang es un estudiante de doctorado cuya investigación intersecta la teoría de números, la combinatoria y el descubrimiento matemático asistido por IA.

El equipo resolvió el Problema de Erdős #650, que implica emparejar enteros con múltiplos distintos dentro de un intervalo específico. Van Doorn también creó pruebas verificables por computadora para varios otros problemas de Erdős utilizando el software Lean.

Quanyu Tang resolvió el Problema de Erdős #1044 y contribuyó a la solución del #1196, demostrando el potencial colaborativo de los esfuerzos humanos y de IA en la investigación matemática.

El Premio Justin Sun enfatiza la importancia de hacer que las pruebas matemáticas sean verificables de manera independiente y tiene como objetivo apoyar los avances en matemáticas y el descubrimiento científico asistido por IA.