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.  

La empresa OpenAI ha asegurado a través de un comunicado que la versión de uso interno de su modelo de IA Astra ha encontrado resultados a diez problemas de investigación en matemática y computación, en áreas como geometría, teoría de grupos, álgebras de operadores, complejidad cuántica, criptografía y combinatoria, entre otros. Según la compañía, el número total de tokens —unidades básicas de información— necesarios para resolverlos costaría unos 2.000 dólares. OpenAI expresa “un profundo respeto y comprensión” hacia quienes se preocupan por el impacto de la IA en estas disciplinas, incluidos los firmantes de la Declaración de Leiden sobre IA y Matemáticas; y afirma que la atribución de resultados debe reflejar con honestidad cómo se ha obtenido cada uno, a la vez que anima a la comunidad matemática a revisarlos. La compañía publica estos resultados en abierto en un artículo, acompañados por la narración del modelo sobre su proceso de razonamiento.