Hogar
El solucionador de IA de OpenAI resuelve un rompecabezas matemático que llevaba décadas sin resolverse, refutando así una conjetura geométrica
El mundo de las matemáticas acaba de ser testigo de un logro histórico. OpenAI ha anunciado recientemente que su nuevo modelo de razonamiento interno ha generado con éxito una demostración matemática original, refutando formalmente la conjetura de la distancia unitaria propuesta por primera vez por el eminente matemático Paul Erdős en 1946. Este hito supone la primera vez que la inteligencia artificial ha resuelto de forma independiente un problema abierto en matemáticas puras mediante su avanzado razonamiento de cadena larga.

Más allá de la recuperación de información: verificación independiente por expertos
Es significativo que, hace apenas siete meses, OpenAI se enfrentara a críticas académicas por supuestamente «recuperar respuestas existentes de la bibliografía» y carecer de verdadera originalidad al afirmar que había resuelto varios problemas de Erdős. Aprendiendo de esta experiencia, la empresa invitó de forma proactiva a un panel de matemáticos de renombre internacional, entre los que se encontraba Thomas Bloom, para llevar a cabo una verificación independiente. Desde entonces, el rigor de la demostración ha obtenido el apoyo explícito de múltiples expertos.
Históricamente, los logros de la IA en matemáticas se limitaban en gran medida a volver a demostrar teoremas ya conocidos por la humanidad. Este modelo de razonamiento, sin embargo, ha cuestionado de forma fundamental una interpretación matemática mantenida durante casi ocho décadas. Los matemáticos habían asumido generalmente que la solución óptima de la conjetura se asemejaría a una disposición en forma de cuadrícula. El modelo de OpenAI se desvió de esta vía, descubriendo de forma independiente un método de construcción novedoso que ofrece un rendimiento superior.
Superar la «alucinación»: implicaciones para la ciencia de vanguardia
Desde un punto de vista técnico, resolver problemas matemáticos abiertos de esta naturaleza impone exigencias rigurosas a la coherencia lógica de una IA. Las demostraciones matemáticas implican numerosos pasos deductivos complejos, en los que un solo error puede invalidar toda la cadena. Este éxito indica que el modelo ha superado sustancialmente el problema de la «alucinación» prevalente en los grandes modelos de lenguaje convencionales.
Aunque algunos académicos señalan que la demostración requiere más tiempo para una revisión por pares exhaustiva, sus posibles efectos en cadena ya están suscitando un gran interés. La conjetura de la distancia unitaria está profundamente relacionada con la geometría combinatoria y la teoría de grafos. Se prevé que este avance influya directamente en futuras investigaciones en diversos campos, como el plegamiento de proteínas en biología, el análisis de estructuras cristalinas en ciencia de los materiales y el diseño y la optimización de moléculas farmacéuticas.
Artículo relacionado
Suno añade marcas de agua a las canciones en medio de batallas legales
Suno, la plataforma que permite a los usuarios generar música creada por inteligencia artificial, ha presentado nuevas funciones para etiquetar las pistas producidas en la plataforma, restringir las descargas y actualizar las normas de la comunidad c
Musk admite que Grok filtró código de usuarios, promete borrar todos los datos históricos
Elon Musk abordó directamente la controversia por privacidad relacionada con Grok Build, comenzando con un simple "Verdadero" para confirmar la validez del incidente. Se comprometió a que todos los datos de usuario cargados previamente en SpaceXAI se
Las acciones de EE. UU. alcanzan un hito histórico mientras gigantes de la IA y la aeroespacial se preparan para su debut de un billón de dólares
Elon Musk, Sam Altman y Dario Amodei, tres titanes del sector tecnológico, están avanzando hacia ofertas públicas iniciales para sus respectivas empresas. Con SpaceX, OpenAI y Anthropic, tres gigantes de la industria que se acercan a valoraciones de
Recomendaciones de temas especiales relacionados
comentario (0)
0/500
El mundo de las matemáticas acaba de ser testigo de un logro histórico. OpenAI ha anunciado recientemente que su nuevo modelo de razonamiento interno ha generado con éxito una demostración matemática original, refutando formalmente la conjetura de la distancia unitaria propuesta por primera vez por el eminente matemático Paul Erdős en 1946. Este hito supone la primera vez que la inteligencia artificial ha resuelto de forma independiente un problema abierto en matemáticas puras mediante su avanzado razonamiento de cadena larga.

Más allá de la recuperación de información: verificación independiente por expertos
Es significativo que, hace apenas siete meses, OpenAI se enfrentara a críticas académicas por supuestamente «recuperar respuestas existentes de la bibliografía» y carecer de verdadera originalidad al afirmar que había resuelto varios problemas de Erdős. Aprendiendo de esta experiencia, la empresa invitó de forma proactiva a un panel de matemáticos de renombre internacional, entre los que se encontraba Thomas Bloom, para llevar a cabo una verificación independiente. Desde entonces, el rigor de la demostración ha obtenido el apoyo explícito de múltiples expertos.
Históricamente, los logros de la IA en matemáticas se limitaban en gran medida a volver a demostrar teoremas ya conocidos por la humanidad. Este modelo de razonamiento, sin embargo, ha cuestionado de forma fundamental una interpretación matemática mantenida durante casi ocho décadas. Los matemáticos habían asumido generalmente que la solución óptima de la conjetura se asemejaría a una disposición en forma de cuadrícula. El modelo de OpenAI se desvió de esta vía, descubriendo de forma independiente un método de construcción novedoso que ofrece un rendimiento superior.
Superar la «alucinación»: implicaciones para la ciencia de vanguardia
Desde un punto de vista técnico, resolver problemas matemáticos abiertos de esta naturaleza impone exigencias rigurosas a la coherencia lógica de una IA. Las demostraciones matemáticas implican numerosos pasos deductivos complejos, en los que un solo error puede invalidar toda la cadena. Este éxito indica que el modelo ha superado sustancialmente el problema de la «alucinación» prevalente en los grandes modelos de lenguaje convencionales.
Aunque algunos académicos señalan que la demostración requiere más tiempo para una revisión por pares exhaustiva, sus posibles efectos en cadena ya están suscitando un gran interés. La conjetura de la distancia unitaria está profundamente relacionada con la geometría combinatoria y la teoría de grafos. Se prevé que este avance influya directamente en futuras investigaciones en diversos campos, como el plegamiento de proteínas en biología, el análisis de estructuras cristalinas en ciencia de los materiales y el diseño y la optimización de moléculas farmacéuticas.
Suno añade marcas de agua a las canciones en medio de batallas legales
Suno, la plataforma que permite a los usuarios generar música creada por inteligencia artificial, ha presentado nuevas funciones para etiquetar las pistas producidas en la plataforma, restringir las descargas y actualizar las normas de la comunidad c
Musk admite que Grok filtró código de usuarios, promete borrar todos los datos históricos
Elon Musk abordó directamente la controversia por privacidad relacionada con Grok Build, comenzando con un simple "Verdadero" para confirmar la validez del incidente. Se comprometió a que todos los datos de usuario cargados previamente en SpaceXAI se
Las acciones de EE. UU. alcanzan un hito histórico mientras gigantes de la IA y la aeroespacial se preparan para su debut de un billón de dólares
Elon Musk, Sam Altman y Dario Amodei, tres titanes del sector tecnológico, están avanzando hacia ofertas públicas iniciales para sus respectivas empresas. Con SpaceX, OpenAI y Anthropic, tres gigantes de la industria que se acercan a valoraciones de











