Science publicó el 8 de octubre el estudio de Google DeepMind sobre AlphaProof Nexus. El sistema demostró 9 de 353 problemas abiertos de Erdős y 44 conjeturas sobre sucesiones de enteros. El programa Lean verificó cada prueba, pero los expertos señalan que no juzga si el problema está bien planteado.