¡Resuelto en 80 minutos! A los 23 años, un aficionado utilizó ChatGPT para resolver un problema matemático de 60 años

Un aficionado de 23 años, con conocimientos básicos, junto con la ayuda de GPT-5.4 Pro, resolvió la conjetura matemática de Erdős que llevaba 60 años sin resolverse (#1196). El modelo conecta estructuras enteras mediante procesos de Markov interdisciplinarios, proponiendo una vía de demostración que los humanos no habían intentado antes.

Según el anuncio oficial de OpenAI del 28 de abril y un reportaje en profundidad en Scientific American del 24 de abril, una conjetura matemática de Erdős que llevaba 60 años sin resolverse (número #1196) fue resuelta con la ayuda del modelo de razonamiento insignia ChatGPT GPT-5.4 Pro. El mismo día, OpenAI, a través de su podcast oficial, con la participación del investigador Sébastien Bubeck y Ernest Ryu junto al presentador Andrew Mayne, explicó formalmente los detalles y el significado del evento.

Protagonista del evento: joven aficionado de 23 años Liam Price

El solucionador Liam Price, de 23 años, sin formación avanzada en matemáticas, que suele colaborar ocasionalmente con Kevin Barreto, estudiante de segundo año en la Universidad de Cambridge. Price declaró: «No sabía qué era exactamente este problema—simplemente a veces le pregunto a la IA sobre la conjetura de Erdős, y veo qué sale.»

En una tarde de lunes en abril de 2026, Price envió el hilo de Erdős #1196 輸入 GPT-5.4 Pro,模型約 80 分鐘推理後給出證明思路,他再花約 30 分鐘把模型輸出整理為 LaTeX 論文,最後貼上 erdosproblems.com 論壇 #1196 para revisión comunitaria. El reportaje en profundidad en Scientific American se publicó el 24 de abril, y el podcast oficial de OpenAI del 28 de abril fue una explicación pública una semana después.

Avance matemático: conectar estructuras enteras mediante procesos de Markov, Tao comenta que «los primeros pasos de la humanidad estaban equivocados»

La conjetura #1196 de Erdős pertenece a la categoría de « conjuntos primitivos »—que son grupos de enteros donde ninguno puede ser divisible por otro. La conjetura de Erdős afirma que: cuando los elementos de estos conjuntos tienden a infinito, el valor máximo de la « fracción suma de Erdős » se acerca exactamente a 1.

La demostración de GPT-5.4 Pro adopta un enfoque « que los matemáticos humanos no habían intentado antes »: vincula la estructura de los enteros (anatomía de los enteros) con la teoría de procesos de Markov. Este puente interdisciplinario no había sido explorado previamente en ninguna línea de investigación.

El ganador de Fields y matemático destacado Terence Tao hizo dos comentarios ampliamente citados sobre este evento. Lo describió como « una cuestión diferente a las demás—los humanos la han visto, pero en el primer paso ya se equivocaron », y añadió que « esta contribución tiene un significado mucho mayor para la investigación de la estructura de los enteros que simplemente resolver este problema específico de Erdős. »

Otro matemático de la Universidad de Stanford, Jared Duker Lichtman, afirmó que el camino adoptado por la IA valida su intuición a largo plazo: que existe una « cierta sensación de unidad común entre estos problemas ».

Revelación de OpenAI el 28/4: entrevista en podcast y verificación posterior

En el podcast oficial de OpenAI del 28 de abril, se invitó formalmente a los investigadores de OpenAI Sébastien Bubeck y Ernest Ryu a conversar con el presentador Andrew Mayne sobre « el papel de la IA en la investigación matemática ». OpenAI publicó en Twitter: « A principios de este mes, una conjetura de Erdős que llevaba 60 años sin resolverse fue resuelta con la ayuda de GPT-5.4 Pro. Ahora la IA domina las matemáticas, ¿qué pasará después? »

Hasta el momento de redactar este artículo, la demostración enviada por Price sigue en fase de verificación comunitaria en el foro erdosproblems.com, sin haber pasado aún por revisión formal por pares; el informe de TheDecoder del 15 de abril señala que « la verificación formal todavía está en curso ». La divulgación en el podcast de hoy de OpenAI corresponde a un nivel de comunicación externo, no implica que la demostración matemática completa haya sido validada—los lectores interesados en el seguimiento pueden consultar el hilo #1196 en el foro Erdős Problems.

  • Este artículo ha sido reproducido con autorización de: 《链新闻》
  • Título original: 《Joven aficionado de 23 años resuelve en 80 minutos un problema matemático de 60 años usando ChatGPT》
  • Autor original: Elponcrab
Ver original
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
  • Recompensa
  • Comentar
  • Republicar
  • Compartir
Comentar
Añadir un comentario
Añadir un comentario
Sin comentarios
  • Fijado