Diseñan AlphaProof Nexus, una nueva herramienta de IA para abordar demostraciones matemáticas
Un equipo de Google DeepMind ha desarrollado un nuevo sistema de inteligencia artificial (IA) basado en grandes modelos de lenguaje capaz de abordar de forma autónoma problemas matemáticos seleccionados. La herramienta, llamada AlphaProof Nexus, busca demostraciones y utiliza procesos de verificación para garantizar que las soluciones resultantes sean lógicamente sólidas. Según el estudio, publicado en Science, AlphaProof Nexus ha logrado resolver varios problemas que hasta el momento permanecían sin solución, como nueve de los 353 problemas de Erdős.