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
DeepL, conocida por la traducción de textos, se centra ahora en la traducción de voz
DeepL, una empresa de traducción conocida principalmente por sus herramientas de texto, ha lanzado hoy un paquete de traducción de voz a voz diseñado para situaciones como reuniones, conversaciones po
Las notas de las reuniones de Talat generadas por IA se guardan en tu dispositivo, no en la nube
Granola, la aplicación para tomar notas basada en IA valorada en 250 millones de dólares, ha ganado popularidad entre los fundadores de empresas tecnológicas y los inversores de capital riesgo. Sin em
El nuevo Roewe i6 sale al mercado por 659 000 yuanes, equipado con un procesador Snapdragon 8155 y el modelo de gran capacidad de Doubao
SAIC Roewe ha presentado hoy el nuevo Roewe i6, un sedán compacto que adopta plenamente el lenguaje visual del Roewe D7. Su característica parrilla grande y vertical y la barra luminosa horizontal se
Recomendaciones de temas especiales relacionados
escribiendo
Los mejores creadores de perfiles de ficción con IA: cómo generar motivaciones y defectos fatales coherentes para los personajes
Descubre los mejores creadores de perfiles de ficción con IA de 2026 para dar vida a personajes profundos. La selección de XIX.AI incluye herramientas de primera categoría y revolucionarias que generan motivaciones coherentes y defectos fatales. Compara las opciones gratuitas con las de pago mediante pruebas en el mundo real. Libera ahora tu potencial narrativo.
10 herramientas
xix.ai
Negocio
El mejor software de optimización de precios con IA: realiza un seguimiento de la competencia y ajusta automáticamente los precios de la tienda
Descubre el mejor software de optimización de precios con IA de 2026 en XIX.AI. Nuestra selección incluye herramientas de primera categoría y revolucionarias que analizan a la competencia y ajustan automáticamente los precios de tu tienda para maximizar los beneficios. Compara las opciones gratuitas con las de pago mediante pruebas reales. Aprovecha ahora tu ventaja competitiva en materia de precios.
10 herramientas
xix.ai
código
Los mejores revisores de código basados en IA: automatiza el cumplimiento de las normas de código limpio y refactoriza los archivos de repositorios heredados
Descubre los mejores revisores de código con IA de 2026 en XIX.AI. Nuestra lista seleccionada incluye herramientas de primera categoría y revolucionarias para automatizar el cumplimiento de las normas de código limpio y refactorizar archivos de repositorios heredados. Compara las opciones gratuitas con las de pago mediante pruebas reales y clasificaciones que se actualizan semanalmente. Aprovecha hoy mismo tu ventaja con la IA.
10 herramientas
xix.ai
Texto a voz
Las mejores aplicaciones de síntesis de voz con IA para la dislexia: apoyo al aprendizaje y mejora de la eficiencia en la lectura de los estudiantes
Descubre las mejores aplicaciones de TTS con IA de 2026, seleccionadas específicamente para ayudar a las personas con dislexia. Nuestra clasificación, elaborada por expertos, compara herramientas gratuitas y de pago, y destaca sus potentes funciones para mejorar la eficiencia en la lectura y el aprendizaje. Explora soluciones innovadoras e imprescindibles para liberar el potencial de los estudiantes. Empieza tu viaje en XIX.AI.
10 herramientas
xix.ai
Creación de cómics
Los mejores generadores de IA para manga shonen: crea secuencias de acción trepidantes y efectos de energía
Descubre los mejores generadores de IA para manga shonen de 2026 en XIX.AI. Nuestra lista, cuidadosamente seleccionada y con las mejores valoraciones, incluye potentes herramientas para crear secuencias de acción trepidantes y efectos energéticos dinámicos. Compara las opciones gratuitas con las de pago mediante pruebas reales. ¡Libera tu potencial creativo y empieza a crear manga épico hoy mismo!
15 herramientas
xix.ai
Negocio
Los mejores gestores de gastos con IA: escanea recibos y clasifica automáticamente los gastos de la empresa
Los mejores gestores de gastos con IA de 2026: las herramientas mejor valoradas para escanear recibos y clasificar automáticamente los gastos de la empresa. Descubre soluciones potentes y revolucionarias para una gestión de gastos sin esfuerzo, un seguimiento financiero preciso y un cumplimiento normativo optimizado. Nuestra comparativa, seleccionada y actualizada semanalmente, entre opciones gratuitas y de pago te ayuda a encontrar la que mejor se adapta a tus necesidades. Aprovecha al máximo las ventajas de la IA con las recomendaciones de los expertos de XIX.AI.
10 herramientas
xix.ai
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.
DeepL, conocida por la traducción de textos, se centra ahora en la traducción de voz
DeepL, una empresa de traducción conocida principalmente por sus herramientas de texto, ha lanzado hoy un paquete de traducción de voz a voz diseñado para situaciones como reuniones, conversaciones po
Las notas de las reuniones de Talat generadas por IA se guardan en tu dispositivo, no en la nube
Granola, la aplicación para tomar notas basada en IA valorada en 250 millones de dólares, ha ganado popularidad entre los fundadores de empresas tecnológicas y los inversores de capital riesgo. Sin em
El nuevo Roewe i6 sale al mercado por 659 000 yuanes, equipado con un procesador Snapdragon 8155 y el modelo de gran capacidad de Doubao
SAIC Roewe ha presentado hoy el nuevo Roewe i6, un sedán compacto que adopta plenamente el lenguaje visual del Roewe D7. Su característica parrilla grande y vertical y la barra luminosa horizontal se
Descubre los mejores creadores de perfiles de ficción con IA de 2026 para dar vida a personajes profundos. La selección de XIX.AI incluye herramientas de primera categoría y revolucionarias que generan motivaciones coherentes y defectos fatales. Compara las opciones gratuitas con las de pago mediante pruebas en el mundo real. Libera ahora tu potencial narrativo.
10 herramientas
xix.ai
Descubre el mejor software de optimización de precios con IA de 2026 en XIX.AI. Nuestra selección incluye herramientas de primera categoría y revolucionarias que analizan a la competencia y ajustan automáticamente los precios de tu tienda para maximizar los beneficios. Compara las opciones gratuitas con las de pago mediante pruebas reales. Aprovecha ahora tu ventaja competitiva en materia de precios.
10 herramientas
xix.ai
Descubre los mejores revisores de código con IA de 2026 en XIX.AI. Nuestra lista seleccionada incluye herramientas de primera categoría y revolucionarias para automatizar el cumplimiento de las normas de código limpio y refactorizar archivos de repositorios heredados. Compara las opciones gratuitas con las de pago mediante pruebas reales y clasificaciones que se actualizan semanalmente. Aprovecha hoy mismo tu ventaja con la IA.
10 herramientas
xix.ai
Descubre las mejores aplicaciones de TTS con IA de 2026, seleccionadas específicamente para ayudar a las personas con dislexia. Nuestra clasificación, elaborada por expertos, compara herramientas gratuitas y de pago, y destaca sus potentes funciones para mejorar la eficiencia en la lectura y el aprendizaje. Explora soluciones innovadoras e imprescindibles para liberar el potencial de los estudiantes. Empieza tu viaje en XIX.AI.
10 herramientas
xix.ai
Descubre los mejores generadores de IA para manga shonen de 2026 en XIX.AI. Nuestra lista, cuidadosamente seleccionada y con las mejores valoraciones, incluye potentes herramientas para crear secuencias de acción trepidantes y efectos energéticos dinámicos. Compara las opciones gratuitas con las de pago mediante pruebas reales. ¡Libera tu potencial creativo y empieza a crear manga épico hoy mismo!
15 herramientas
xix.ai
Los mejores gestores de gastos con IA de 2026: las herramientas mejor valoradas para escanear recibos y clasificar automáticamente los gastos de la empresa. Descubre soluciones potentes y revolucionarias para una gestión de gastos sin esfuerzo, un seguimiento financiero preciso y un cumplimiento normativo optimizado. Nuestra comparativa, seleccionada y actualizada semanalmente, entre opciones gratuitas y de pago te ayuda a encontrar la que mejor se adapta a tus necesidades. Aprovecha al máximo las ventajas de la IA con las recomendaciones de los expertos de XIX.AI.
10 herramientas
xix.ai
