OpenAI afirma haber resuelto tres problemas abiertos de matemáticas, informática y física y pide verificación externa
Hecho Qué ha ocurrido
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 problema del Premio del Milenio y probado resultados en física cuántica de campos. La empresa encargó a expertos externos, entre ellos un premio Nobel, revisar las demostraciones, que también ha traducido a Lean. Publica los textos y las pruebas en Lean.
Resumen generado mediante IA a partir de The Decoder (original en inglés). Naturaleza de la información: declaración de parte interesada.
Análisis Por qué importa
Si 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 resultados matemáticos de alto nivel. Por ahora son afirmaciones pendientes de revisión independiente.
- Quién se ve afectado
- Investigadores en teoría de la complejidad, matemáticos, físicos teóricos y equipos que desarrollan resolvedores SAT.
- Qué puede cambiar
- Si se confirman, algunos resultados publicados quedarían sin fundamento demostrado y podría acelerar la búsqueda de mejores algoritmos, aunque las aplicaciones prácticas tardarían en llegar.
Análisis generado a partir de la información disponible; no procede de la fuente.
Predicción Qué observar a continuación
Qué resultado dan las revisiones independientes del grupo de Williams, Impagliazzo y Paturi y de los expertos externos, así como si Lean confirma que los enunciados formalizados son los correctos.
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: The Decoder. La referencia es siempre el artículo original.
Ver fuente original ↗IA para matemáticasLeanresolvedores SAT OpenAIMITUC San Diego física cuántica Hipótesis del Tiempo Exponencial Lean OpenAI P versus NP
Relacionadas
OpenAI publica 722 demostraciones matemáticas generadas por IA verificadas con Lean
OpenAI subió a GitHub 722 manuscritos de demostraciones matemáticas agrupados en 372 familias de teoremas, todos verificados formalmente con el asistente de…
Por qué importaEs el mayor corpus de demostraciones de investigación generadas por IA y verificadas formalmente, lo que sugiere que estos modelos pueden actuar como…
OpenAI afirma resolver parte del problema del milenio Navier-Stokes con IA, pero surge disputa de prioridad
OpenAI anunció el 8 de septiembre que un modelo interno más capaz que GPT-6 Astra produjo una prueba formal en Lean que resuelve dos de los cuatro enunciados…
Por qué importaEs el avance más significativo hasta ahora de IA en matemáticas de investigación de frontera, con verificación formal objetiva vía Lean, pero también…
OpenAI dice que su IA resolvió más de cien problemas matemáticos abiertos, pero científicos piden cautela
OpenAI afirma que un modelo interno, entrenado desde el 28 de agosto, resolvió más de cien problemas matemáticos abiertos, sin publicar el listado completo ni…
Por qué importaSi se confirma, marcaría un salto relevante en capacidades de razonamiento matemático de la IA, pero la falta de verificación independiente obliga a…
OpenAI publica 377 resultados matemáticos generados por IA y reaviva el debate académico
OpenAI difundió 377 resultados matemáticos nuevos en álgebra, teoría de números, lógica y topología, generados con un modelo no publicado, verificados en parte…
Por qué importaEl episodio expone tensiones sobre la verificación y autoría de resultados generados por IA en campos científicos, y cómo las empresas gestionan 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.