
OpenAI retiró tres pruebas matemáticas de IA: ¿qué garantiza Lean?
Tres manuscritos matemáticos generados por IA se retiraron por un error de signo. Conoce las correcciones de octubre de 2026 y los límites del verificador Lean.
Leer artículoDescubre cómo la inteligencia artificial está ampliando las posibilidades de la ciencia y contribuyendo a nuevos descubrimientos. Explora aplicaciones de IA en la astronomía, la exploración espacial, la física, la química, la biología, la investigación científica y el desarrollo de nuevas tecnologías. Una colección de noticias, explicaciones accesibles y ejemplos de investigaciones para comprender cómo la inteligencia artificial ayuda a los científicos a estudiar fenómenos, analizar información y explorar los grandes misterios del universo.


Tres manuscritos matemáticos generados por IA se retiraron por un error de signo. Conoce las correcciones de octubre de 2026 y los límites del verificador Lean.
Leer artículoNingún artículo coincide con esta búsqueda.