Investigadores compiten con la IA para resolver un famoso problema matemático
Investigadores humanos se apresuraron a publicar una demostración matemática compleja tras enterarse de los rumores de que una empresa de inteligencia artificial estaba a punto de lanzar una solución similar. Ambos grupos abordaron con éxito importantes problemas de la informática teórica.
En resumen: Investigadores humanos se apresuraron a publicar una demostración matemática compleja tras enterarse de los rumores de que una empresa de inteligencia artificial estaba a punto de lanzar una solución similar. Ambos grupos abordaron con éxito importantes problemas de la informática teórica.
Cuando llegó un mensaje de texto advirtiendo que la inteligencia artificial podría ganarle en un descubrimiento matemático legendario, Dor Minzer pensó que era una broma. Pronto, los rumores resultaron ser ciertos, desencadenando una carrera de alto riesgo entre la capacidad intelectual humana y la generación por máquinas.
Qué ocurrió, en palabras sencillas
Dor Minzer, Yumou Fei y Shuo Wang pasaron años trabajando en un difícil rompecabezas relacionado con la conjetura de juegos 2 a 1 en la informática teórica. Cuando escucharon rumores en septiembre de 2026 de que OpenAI estaba a punto de publicar una demostración de la conjetura de juegos únicos relacionada, el trío se apresuró a publicar su propio documento de 95 páginas en línea para evitar ser eclipsados. Poco después, OpenAI anunció públicamente demostraciones para la conjetura de juegos únicos y la conjetura de 2 a 1, junto con cientos de otros resultados matemáticos.
Puntos clave
- Investigadores humanos le ganan a un comunicado de prensa: Minzer y sus estudiantes de posgrado se apresuraron a compartir su manuscrito matemático en línea antes de que OpenAI pudiera lanzar sus propias demostraciones automatizadas.
- Un enigma de larga data descifrado: El equipo humano demostró una variante de una conjetura propuesta por primera vez por Subhash Khot, mostrando que algunos problemas de coloración siguen siendo muy difíciles incluso con muchas opciones de color adicionales.
- La IA entra al mundo de las matemáticas: OpenAI lanzó un lote masivo de demostraciones, incluida una para la conjetura de juegos únicos, provocando curiosidad y ansiedad entre los matemáticos humanos.
Términos explicados
- Conjetura — Una suposición o idea inteligente que parece verdadera basándose en pruebas y lógica, pero que aún no se ha demostrado para cada uno de los casos. Ejemplo: Notar que siempre llueve en tu cumpleaños durante cinco años seguidos lleva a la suposición de que siempre llueve en tu cumpleaños, aunque no hayas revisado cada año de la historia.
- Teoría de la complejidad computacional — El estudio científico de cuán difíciles son de resolver los problemas matemáticos y computacionales, y por qué algunos requieren demasiado tiempo o potencia. Ejemplo: Entender por qué organizar un plano de asientos masivo para una boda gigante es mucho más difícil que sumar dos números simples.
- Grafo — Una red formada por puntos llamados nodos conectados entre sí por líneas llamadas aristas. Ejemplo: Un mapa de ciudades conectadas por rutas de vuelo, donde las ciudades son los nodos y los vuelos son las aristas.
Por qué importa
Estos descubrimientos fundamentales ayudan a los científicos a comprender los límites naturales de lo que las computadoras y los algoritmos pueden calcular, lo que eventualmente puede guiar la investigación en muchos campos técnicos diferentes.
Lo que aún no sabemos
El artículo humano fue apresurado y carece de palabras de enlace en las secciones posteriores, mientras que las demostraciones de la IA son manuscritos generados que no pasaron por la edición humana tradicional ni por la revisión de expertos independientes.
Basado en información de Quanta Magazine. Este es un texto explicativo independiente, escrito con palabras propias y ayuda de IA; Quanta Magazine no lo ha revisado ni respaldado. Lee el original para ver todos los detalles.