Ir al contenido
IA para hoy

Lean

Noticias etiquetadas con «Lean»

10 noticias

Filtrar
Investigación

Expertos cuestionan que la demostración de Navier-Stokes presentada por OpenAI siga el enfoque que la empresa describe

En septiembre, OpenAI presentó una posible solución de 166 páginas al problema de Navier-Stokes, que según la empresa sigue el enfoque de los matemáticos…

Por qué importaMuestra que la verificación de resultados generados por IA en investigación todavía depende de revisión humana y de que los modelos sean explicables…

Impacto bajo Fiabilidad declaración interesada Relevancia 8/10 The Decoder
Investigación

OpenAI retira tres manuscritos matemáticos generados con IA por un error de signo

OpenAI publicó el 6 de octubre de 2026 722 manuscritos matemáticos generados por un modelo interno, en un repositorio público de GitHub. Un día después retiró…

Por qué importaMuestra el riesgo de difundir resultados científicos generados por IA sin verificación formal previa. Para empresas que usan IA en análisis y…

Impacto bajo Fiabilidad varias fuentes Relevancia 8/10 Infobae Tecno
Investigación

Matemáticos critican que las pruebas matemáticas de OpenAI no cumplen los estándares del campo

OpenAI publicó cientos de soluciones a problemas matemáticos abiertos, pero según un grupo asesor de nueve matemáticos (AGMAI, alojado en Princeton), la…

Por qué importaCuestiona la fiabilidad de usar modelos de IA para 'resolver' problemas científicos sin supervisión humana ni comprensión profunda, lo que puede…

Impacto bajo Fiabilidad una fuente fiable Relevancia 7/10 TechCrunch AI
Investigación

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…

Impacto bajo Fiabilidad confirmado por varias fuentes Relevancia 8/10 WWWhat's new
Investigación

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…

Impacto bajo Fiabilidad confirmado por varias fuentes Relevancia 7/10 Infobae Tecno
Investigación

OpenAI publica 372 resultados matemáticos generados por IA y provoca advertencia de 25 medallistas Fields

OpenAI publicó en GitHub 372 resultados matemáticos generados por un modelo interno de frontera, con formalizaciones en Lean para verificación automática. Cada…

Por qué importaMarca un intento de desplazar la validación científica desde las revistas peer-reviewed hacia repositorios de código verificados formalmente…

Impacto bajo Fiabilidad confirmado por varias fuentes Relevancia 8/10 The Decoder
Investigación

OpenAI comparte resultados de un modelo frontera en problemas matemáticos abiertos

OpenAI ha publicado resultados obtenidos por un modelo interno de frontera sobre problemas matemáticos abiertos, incluyendo formalizaciones en Lean y detalles…

Por qué importaLa aplicación de modelos de IA a investigación matemática original podría acelerar el descubrimiento científico y servir de referencia para validar…

Impacto bajo Fiabilidad confirmado por varias fuentes OpenAI
Investigación

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…

Impacto bajo Fiabilidad confirmado por varias fuentes Relevancia 9/10 WWWhat's new
Investigación

OpenAI presenta una solución generada por IA al problema Navier-Stokes del Millennium Prize

OpenAI ha publicado un documento con una solución al problema del Millennium Prize de Navier-Stokes, generada con ayuda de IA, incluyendo una prueba formal…

Por qué importaSi se confirma, sería un hito histórico en la aplicación de IA a matemáticas avanzadas, mostrando capacidad para abordar problemas abiertos de máxima…

Impacto bajo Fiabilidad varias fuentes Relevancia 9/10 OpenAI
Investigación

Los modelos de IA comienzan a resolver problemas matemáticos de alto nivel de forma autónoma

Desde el lanzamiento de GPT 5.2, los modelos de OpenAI han demostrado capacidad para resolver problemas matemáticos abiertos de alto nivel. Un ingeniero de…

Por qué importaRepresenta un hito en la capacidad de razonamiento matemático autónomo de los LLMs, con matemáticos de renombre como Terence Tao reconociendo el…

Impacto alto Fiabilidad una fuente fiable Relevancia 8/10 TechCrunch AI