La IA de DeepMind resuelve nueve problemas de Erdős en un artículo de Science

AlphaProof Nexus combina Gemini 3.1 Pro con el verificador de demostraciones Lean; dos de los problemas resueltos, planteados en 1970, llevaban 56 años sin solución.