Viernes 23 de octubre de 2026 ·

La IA empieza a resolver problemas matemáticos abiertos: OpenAI y Anthropic publican avances

Relevancia 38 de 100

Un modelo interno de OpenAI encontró un contraejemplo a la conjetura de la distancia unitaria de Erdős, abierta desde 1946. Después, OpenAI publicó una demostración del problema Cycle Double Cover y soluciones a otros diez problemas abiertos hasta julio, y en septiembre una prueba sobre Navier-Stokes. Anthropic publicó una formalización del último teorema de Fermat y mejoras en las cotas de la hipótesis de Riemann.

Qué significa

Problemas que llevaban décadas sin resolverse empiezan a caer con ayuda de modelos de IA, lo que cambia el ritmo y el tipo de investigación matemática. El autor plantea que entender qué problemas son abordables para un modelo ayudará a decidir en qué usarlo.

Fuentes originales

Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.

También ese día

Todas las noticias de IA del viernes 23 de octubre de 2026 ->