OpenAI y Anthropic aseguran haber refutado la Hipótesis del Tiempo Exponencial, un pilar de la informática teórica
Hecho Qué ha ocurrido
OpenAI y Anthropic afirman haber refutado la Hipótesis del Tiempo Exponencial (ETH), vigente desde hace 27 años y usada como premisa en gran parte de la investigación en complejidad y diseño de algoritmos. Ambas empresas publicaron sus pruebas en GitHub, en lenguaje natural y en formato Lean verificable por máquinas, aún sin verificación independiente completa. OpenAI ha pedido a investigadores de UC Santa Bárbara y del MIT que analicen las pruebas.
Resumen generado mediante IA a partir de Wired en Español. Naturaleza de la información: declaración de parte interesada.
Análisis Por qué importa
Si el resultado se confirma, parte de la literatura teórica publicada quedaría obsoleta o necesitaría revisión, y la IA estaría acelerando la producción científica en matemáticas y ciencias de la computación.
- Quién se ve afectado
- Investigadores en informática teórica, algoritmia y matemáticas, y diseñadores de sistemas criptográficos.
- Qué puede cambiar
- Los investigadores tendrán que revisar sus resultados que dependían de la ETH y podrán abordar problemas abandonados. Los diseñadores de criptografía deberán evaluar si la supuesta dificultad de ciertos problemas sigue siendo válida, aunque el artículo indica que este resultado no afecta directamente a la criptografía actual.
Análisis generado a partir de la información disponible; no procede de la fuente.
Predicción Qué observar a continuación
Qué resultado da la verificación independiente de la prueba, cuántos artículos se revisan o retiran, y cómo responde la comunidad académica al volumen de publicaciones generadas con IA.
Enviar esta noticia por correo
Enviado. Revisa que llegue a la bandeja de entrada de quien lo reciba.
La dirección no parece válida.
Has enviado varios correos seguidos. Espera un rato.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
No se ha podido enviar. Inténtalo de nuevo en unos minutos.
Fuente original: Wired en Español. La referencia es siempre el artículo original.
Ver fuente original ↗IA para matemáticaspruebas formales Lean OpenAIAnthropicUniversidad de LinköpingUC Santa BárbaraMIT Anthropic ETH informática teórica Lean OpenAI
Relacionadas
OpenAI y Anthropic afirman que sus modelos refutaron la hipótesis del tiempo exponencial en informática
OpenAI publicó soluciones a tres problemas matemáticos, entre ellos una refutación de la Hipótesis del Tiempo Exponencial (ETH), suposición con gran peso en la…
Por qué importaSi la refutación se confirma, cambia supuestos básicos sobre qué problemas son computacionalmente difíciles, con efectos en criptografía y en…
OpenAI afirma que su IA refutó la Hipótesis del Tiempo Exponencial, aún sin revisión independiente
OpenAI asegura que uno de sus modelos internos refutó la Hipótesis del Tiempo Exponencial (ETH), una conjetura de la informática teórica, y publicó la…
Por qué importaSi la demostración resiste, obligaría a revisar las cotas de dificultad que cientos de artículos construyen sobre la ETH. Para la empresa, es una…
OpenAI afirma haber resuelto tres problemas abiertos de matemáticas, informática y física y pide verificación externa
OpenAI afirma que sus modelos internos han refutado una hipótesis central de la informática (la Hipótesis del Tiempo Exponencial), demostrado parte de un…
Por qué importaSi las pruebas se sostienen, afectan a cientos de artículos científicos que dependen de la hipótesis refutada y marcan un precedente de IA generando…
OpenAI afirma haber refutado la hipótesis del tiempo exponencial y resuelto parte de un Problema del Milenio
OpenAI asegura que un modelo interno, aún sin publicar, ha demostrado que la hipótesis del tiempo exponencial es falsa, y atribuye a sus modelos otros dos…
Por qué importaSi se confirmara, supondría un avance matemático de primer nivel atribuido a un sistema de IA y obligaría a revisar supuestos usados en cientos de…
Tu opinión
Te hemos enviado un correo para confirmar tu dirección. El comentario se procesará cuando pulses el enlace.
Gracias. Tu comentario se publicará cuando lo revise el equipo (los primeros comentarios de cada persona se moderan).
Comentario publicado. Gracias por participar.
No se puede comentar aquí.
Indica un nombre (de 2 a 60 caracteres).
El correo no parece válido.
El comentario debe tener entre 10 y 2.000 caracteres.
Demasiados enlaces en el comentario.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
Has alcanzado el límite diario de comentarios.
Demasiados comentarios seguidos. Espera un rato.
No se ha podido enviar el correo de confirmación. Inténtalo de nuevo en unos minutos.