{"id":1331,"date":"2026-08-17T00:50:00","date_gmt":"2026-08-16T15:50:00","guid":{"rendered":"https:\/\/onepress.co.kr\/?post_type=briefing&p=1331"},"modified":"2026-08-17T00:55:30","modified_gmt":"2026-08-16T15:55:30","slug":"2026-08-17-ai-erdos-unit-distance-disproof-es","status":"publish","type":"briefing","link":"https:\/\/onepress.co.kr\/index.php\/briefing\/2026-08-17-ai-erdos-unit-distance-disproof-es\/","title":{"rendered":"La IA desvela la suposici\u00f3n de Erd\u00f6s de 80 a\u00f1os, verificada por humanos despu\u00e9s de una sola pregunta"},"content":{"rendered":"

2026-08-17 00:50 KST<\/strong><\/p>\n

Despu\u00e9s de que se le hiciera una sola pregunta, el modelo de IA destruy\u00f3 con un contraejemplo casi 80 a\u00f1os de conjeturas relacionadas con el problema de la distancia del c\u00edrculo unitario de Erd\u00f6s.<\/p>\n

Esto no significa que todos los problemas dif\u00edciles de matem\u00e1ticas se hayan resuelto autom\u00e1ticamente. Los resultados fueron revisados \u200b\u200bpor investigadores de la empresa y matem\u00e1ticos independientes, y no se revelaron detalles de los modelos y materiales de aprendizaje utilizados.<\/p>\n

\u00bfCu\u00e1l fue el problema?<\/h2>\n

Este es un problema de geometr\u00eda combinatoria que pregunta c\u00f3mo se limitan el color y la estructura en un gr\u00e1fico de distancia de c\u00edrculo unitario que conecta puntos en un plano a una distancia constante. El matem\u00e1tico Paul Erd\u00f6s hab\u00eda especulado desde la d\u00e9cada de 1940 que una determinada forma siempre ser\u00eda v\u00e1lida, y durante d\u00e9cadas no hubo pruebas generales ni contraejemplos.<\/p>\n

\u00bfQu\u00e9 hizo la IA?<\/h2>\n

Una vez que los investigadores de OpenAI presentaron el problema en lenguaje natural, el modelo de razonamiento interno desarroll\u00f3 la construcci\u00f3n de contraejemplos en una direcci\u00f3n antes poco com\u00fan. La clave era encontrar puntos finitos y estructuras de conexi\u00f3n que cumplieran las condiciones y rompieran la conclusi\u00f3n de la suposici\u00f3n. Los resultados se organizaron en argumentos legibles por humanos.<\/p>\n

\"La
Esta es una imagen generada creada para ilustrar un tema y no es una fotograf\u00eda de una escena u observaci\u00f3n real.<\/figcaption><\/figure>\n

\u00bfC\u00f3mo comprobaste la respuesta correcta?<\/h2>\n

Matem\u00e1ticos externos a la empresa revisaron de forma independiente la construcci\u00f3n y la l\u00f3gica para confirmar que el contraejemplo cumpl\u00eda las condiciones. Las matem\u00e1ticas tienen la ventaja de que las partes se pueden verificar dos veces mediante c\u00e1lculos o verificaci\u00f3n formal. A\u00fan as\u00ed, no se resolvi\u00f3 \u00fanicamente mediante la producci\u00f3n del modelo, y la gente particip\u00f3 en la definici\u00f3n del problema, la demostraci\u00f3n del teorema y la verificaci\u00f3n p\u00fablica.<\/p>\n

Lo que no fue revelado<\/h2>\n

La empresa revel\u00f3 la prueba y la explicaci\u00f3n, pero no revel\u00f3 qu\u00e9 modelo interno utiliz\u00f3 ni todos los materiales de aprendizaje. Por lo tanto, es dif\u00edcil evaluar completamente desde fuera el impacto de la literatura existente y la reproducibilidad de los diferentes modelos. La comunidad matem\u00e1tica se\u00f1ala que las reglas de atribuci\u00f3n, acuerdo y verificaci\u00f3n deben seguir el ritmo de la tecnolog\u00eda.<\/p>\n

Por que es importante<\/h2>\n

Este es un ejemplo que muestra que la IA puede ir m\u00e1s all\u00e1 de resumir soluciones conocidas y contribuir a la b\u00fasqueda de nuevos contraejemplos. Al mismo tiempo, ser capaz de encontrar una buena respuesta una vez es diferente de tener habilidades de investigaci\u00f3n consistentes. Los siguientes criterios son herramientas disponibles p\u00fablicamente, experimentos reproducibles y una revisi\u00f3n rigurosa por pares.<\/p>\n

material fuente oficial<\/h2>\n

OpenAI result and proof<\/a><\/p>\n

Nature independent report<\/a><\/p>\n

Nature Machine Intelligence editorial<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

El modelo de inferencia interna de OpenAI propuso construir un contraejemplo a la conjetura de Erd\u00f6s con respecto al gr\u00e1fico de distancia del c\u00edrculo unitario, y matem\u00e1ticos independientes confirmaron el argumento, pero los detalles del modelo y los materiales de capacitaci\u00f3n no se hicieron p\u00fablicos.<\/p>\n","protected":false},"featured_media":0,"template":"","meta":[],"class_list":["post-1331","briefing","type-briefing","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/onepress.co.kr\/index.php\/wp-json\/wp\/v2\/briefing\/1331","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/onepress.co.kr\/index.php\/wp-json\/wp\/v2\/briefing"}],"about":[{"href":"https:\/\/onepress.co.kr\/index.php\/wp-json\/wp\/v2\/types\/briefing"}],"wp:attachment":[{"href":"https:\/\/onepress.co.kr\/index.php\/wp-json\/wp\/v2\/media?parent=1331"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}