OpenAI dice que un modelo suyo refutó la Hipótesis del Tiempo Exponencial
Resumen En qué punto está
OpenAI afirma que un modelo interno, aún sin publicar, refutó la Hipótesis del Tiempo Exponencial (ETH), una conjetura clave en complejidad computacional vinculada al problema P frente a NP. La empresa dice que el modelo halló la prueba el 16 de octubre y la verificó en Lean al día siguiente, y atribuye al mismo sistema otros dos resultados matemáticos, incluida la existencia de la teoría de Yang-Mills. Un grupo independiente de expertos, entre ellos Impagliazzo, Paturi y Williams, revisará los hallazgos. Ninguno de los resultados ha sido validado de forma externa hasta ahora.
Resumen generado mediante IA a partir de las 2 noticias de la historia. Última actualización: hace 2 h.
Enviar esta historia 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.
Línea temporal
-
OpenAI afirma que un modelo sin publicar refutó una hipótesis matemática de los noventa
OpenAI afirma que un modelo de IA aún no publicado refutó la hipótesis del tiempo exponencial, una conjetura de finales de los noventa vinculada al problema P frente a NP. La empresa atribuye al mismo sistema otros dos…
-
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 demostración en GitHub. La empresa dice que el modelo encontró la…
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.