Una IA de Google investiga de forma autónoma y resuelve nueve problemas matemáticos de hace décadas
Publicado el
- Google DeepMind ha desarrollado AlphaProof Nexus, un sistema de IA capaz de resolver problemas matemáticos que permanecieron sin solución durante más de 50 años.
- Al combinar el razonamiento de Gemini 3.1 Pro con la capacidad de verificación de Lean, el sistema resolvió varios problemas de Erdös y conjeturas matemáticas.
- Aunque este avance demuestra el potencial de la IA para el descubrimiento científico, los investigadores subrayan que la supervisión humana sigue siendo esencial para garantizar que el razonamiento matemático sea comprensible y esté correctamente planteado. El Mundo
Resumen tomado de la nota de El Mundo, enlazada arriba, entre 2 notas de 2 medios. El titular es el que publicó el medio de origen. Cómo lo hacemos
Cómo cubre la prensa esta historia
De las 3 coberturas que NewsRadar analizó para esta historia, 3 coberturas favorables: el tratamiento dominante es favorable.
Fuentes que cubren esta historia
Cobertura relacionada según nuestro monitoreo. NewsRadar resume la conversación y enlaza a los medios originales.
Google DeepMind logra que una IA resuelva problemas matemáticos que llevaban más de 50 años sin solución
Google DeepMind ha desarrollado AlphaProof Nexus, un sistema de IA capaz de resolver problemas matemáticos que permanecieron sin solución durante más de 50 años. Al combinar el razonamiento de Gemini 3.1 Pro con la capacidad de verificación de Lean, el sistema resolvió varios problemas de Erdös y conjeturas matemáticas. Aunque este avance demuestra el potencial de la IA para el descubrimiento científico, los investigadores subrayan que la supervisión humana sigue siendo esencial para garantizar que el razonamiento matemático sea comprensible y esté correctamente planteado.
Leer en el medio originalUna IA de Google investiga de forma autónoma y resuelve nueve problemas matemáticos de hace décadas
Google DeepMind ha presentado AlphaProof Nexus, un sistema de IA capaz de realizar investigación matemática de forma autónoma. Al combinar modelos de lenguaje con el verificador de pruebas Lean, el sistema resolvió con éxito nueve problemas matemáticos de la colección de Paul Erdős, incluidos dos que permanecían sin solución desde hace 56 años. Aunque la tecnología aún enfrenta desafíos como alucinaciones y requiere guía humana para formular problemas, los investigadores señalan que servirá como una herramienta poderosa para asistir a los matemáticos en la exploración de pruebas complejas.
Leer en el medio originalLínea de tiempo
Reconstruyendo la cobertura completa de esta historia…