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
Stripe adquirirá OpenRouter a medida que el enrutamiento basado en modelos de IA cobra impulso
Stripe ha acordado adquirir OpenRouter, una plataforma de enrutamiento de modelos de IA que ofrece a los desarrolladores acceso a cientos de modelos a través de una única interfaz. El acuerdo amplía e
El exinvestigador de OpenAI, Barrett Zoph, regresa a Google para colaborar en el desarrollo de Gemini
Barret Zoph, que anteriormente abandonó de forma repentina la empresa para incorporarse a OpenAI debido a un desacuerdo con la directora general de Thinking Machines Lab, Miriam Mularati, ha vuelto a
Cómo Recursive Intelligence recaudó 335 millones de dólares con una valoración de 4.000 millones de dólares en cuatro meses
Las cofundadoras de la startup Ricursive Intelligence parecían destinadas a ser cofundadoras.Anna Goldie, directora ejecutiva, y Azalia Mirhoseini, directora técnica, son tan conocidas en la comunidad
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.
Stripe adquirirá OpenRouter a medida que el enrutamiento basado en modelos de IA cobra impulso
Stripe ha acordado adquirir OpenRouter, una plataforma de enrutamiento de modelos de IA que ofrece a los desarrolladores acceso a cientos de modelos a través de una única interfaz. El acuerdo amplía e
El exinvestigador de OpenAI, Barrett Zoph, regresa a Google para colaborar en el desarrollo de Gemini
Barret Zoph, que anteriormente abandonó de forma repentina la empresa para incorporarse a OpenAI debido a un desacuerdo con la directora general de Thinking Machines Lab, Miriam Mularati, ha vuelto a
Cómo Recursive Intelligence recaudó 335 millones de dólares con una valoración de 4.000 millones de dólares en cuatro meses
Las cofundadoras de la startup Ricursive Intelligence parecían destinadas a ser cofundadoras.Anna Goldie, directora ejecutiva, y Azalia Mirhoseini, directora técnica, son tan conocidas en la comunidad











