RespuestasPublicado12 fuentes
Qué demuestran —y qué no— los resultados matemáticos de AlphaProof Nexus
La prepublicación informa que AlphaProof Nexus resolvió 9 de 353 problemas abiertos de Erdős y probó 44 de 492 conjeturas de la OEIS: alrededor del 2,5 % y el 8,9 %, respectivamente. El sistema usa pruebas formales en Lean, pero que el verificador acepte una demostración no determina por sí solo si el enunciado repr...
Publicado porEditado con GPT-6 LunaImágenes generadas con GPT Image 2
Respuesta de investigación
Conclusiones clave
- La prepublicación informa que AlphaProof Nexus resolvió 9 de 353 problemas abiertos de Erdős y probó 44 de 492 conjeturas de la OEIS: alrededor del 2,5 % y el 8,9 %, respectivamente.
- El sistema usa pruebas formales en Lean, pero que el verificador acepte una demostración no determina por sí solo si el enunciado representa bien el problema original o si el resultado es novedoso.
- Los resultados son prometedores como búsqueda de demostraciones; para evaluar su alcance hace falta revisar cada prueba, la literatura previa y el grado de intervención humana.
Prompt de IA
openai.comCreate a landscape editorial hero image for this Studio Global article: What does Google DeepMind’s October 8, 2026 Science paper, following its May arXiv preprint, report about AlphaProof Nexus’s solutions to ni. Article summary: The May preprint reports a meaningful but selective advance: AlphaProof Nexus resolved nine of 353 Erdős problems and proved 44 of 492 OEIS conjectures, with reported computing costs of a few hundred dollars per solved E. Topic tags: general, academic, general web, user generated, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, wate
Una prepublicación de mayo de 2026 informa que AlphaProof Nexus, de Google DeepMind, resolvió nueve de 353 problemas abiertos de Erdős y probó 44 de 492 conjeturas de la Enciclopedia en Línea de Secuencias de Enteros (OEIS). El coste de computación declarado fue de unos cientos de dólares por cada problema de Erdős resuelto. Son resultados que apuntan a una herramienta potencialmente útil para buscar demostraciones, pero no miden por sí solos la fiabilidad del sistema ni establecen que cada resultado sea nuevo. 17
Qué dicen las cifras
Los resultados equivalen a aproximadamente el 2,5 % de los problemas de Erdős y el 8,9 % de las conjeturas de la OEIS evaluados. Son proporciones calculadas sobre esos conjuntos concretos, no tasas de éxito aplicables a cualquier pregunta matemática. Los autores también indican que expertos comprobaron si cada enunciado formal en Lean asociado a una solución de Erdős reflejaba fielmente la conjetura original. 17
La distinción importa: la prepublicación presenta éxitos seleccionados dentro de colecciones mucho mayores, no una garantía de que el sistema pueda resolver problemas abiertos a demanda. Además, el coste comunicado es por problema de Erdős resuelto; por sí solo no permite calcular el coste total de los intentos fallidos ni la eficiencia de todo el proceso de búsqueda. 17
Lean verifica la prueba formal, no todo su contexto
La prepublicación describe AlphaProof Nexus como un sistema para buscar demostraciones formales con ayuda de IA. En este enfoque, la demostración se expresa en un sistema como Lean y un verificador comprueba que el argumento se deriva del enunciado formalizado. Esa comprobación puede ofrecer una garantía sólida sobre la validez de la prueba respecto de ese enunciado. 17
Pero la verificación y el contexto matemático son cuestiones distintas. Que el verificador acepte una prueba no demuestra, por sí solo, que el enunciado formal corresponda exactamente al problema que se quería resolver, que nadie lo hubiera resuelto antes o que el resultado tenga importancia matemática. Por eso es relevante que los autores digan que expertos cotejaron los enunciados de Lean con las conjeturas de Erdős. 17
Un dato sobre problemas de hace más de medio siglo
Una noticia publicada en octubre señala que dos de los resultados atribuidos al sistema corresponden a preguntas planteadas por Paul Erdős y András Sárközy en 1970. Esto respalda la afirmación de que entre los logros hay problemas de larga data, aunque se trata de una fuente periodística secundaria, no de la prepublicación misma. 19
El material disponible aquí incluye la prepublicación de mayo y notas de prensa, pero no el texto completo del artículo de octubre en Science ni evaluaciones independientes detalladas de cada afirmación. Por eso no permite confirmar aspectos específicos como la versión del modelo utilizada, los resultados sobre geometría algebraica y optimización min-max, o las controversias sobre soluciones anteriores, cambios de redacción, agentes alternativos, pruebas incompletas y búsquedas de contraejemplos dirigidas por personas. Esos puntos requieren revisar el artículo, las pruebas formales y las evaluaciones pertinentes antes de darlos por establecidos.
Cómo valorar el avance
La evaluación rigurosa debe hacerse problema por problema: comparar la conjetura original con su formalización, revisar la demostración completa, consultar la literatura previa y dejar claro qué intervención humana hubo. Las cifras reportadas justifican examinar AlphaProof Nexus como herramienta de búsqueda de pruebas; por sí solas, no demuestran que realice investigación matemática independiente ni resuelven cuán novedoso o importante es cada resultado. 17
Studio Global AI
Continúe su investigación
Esta página incluye una respuesta respaldada por fuentes que puede continuar dentro de Studio Global.
La gente también pregunta
¿Cuál es la respuesta corta a "Qué demuestran —y qué no— los resultados matemáticos de AlphaProof Nexus"?
La prepublicación informa que AlphaProof Nexus resolvió 9 de 353 problemas abiertos de Erdős y probó 44 de 492 conjeturas de la OEIS: alrededor del 2,5 % y el 8,9 %, respectivamente.
¿Cuáles son los puntos clave a validar primero?
La prepublicación informa que AlphaProof Nexus resolvió 9 de 353 problemas abiertos de Erdős y probó 44 de 492 conjeturas de la OEIS: alrededor del 2,5 % y el 8,9 %, respectivamente. El sistema usa pruebas formales en Lean, pero que el verificador acepte una demostración no determina por sí solo si el enunciado representa bien el problema original o si el resultado es novedoso.
¿Qué debo hacer a continuación en la práctica?
Los resultados son prometedores como búsqueda de demostraciones; para evaluar su alcance hace falta revisar cada prueba, la literatura previa y el grado de intervención humana.
Fuentes
arxiv.orgAdvancing Mathematics Research with AI-Driven Formal ...
elmundo.esGoogle DeepMind logra que una IA resuelva problemas matemáticos que llevaban más de 50 años sin solución
science.orgAt futuristic meeting, AIs took the lead in producing and reviewing all the studies