AlphaProof Nexus: la inteligencia artificial de DeepMind resuelve enigmas matemáticos de hace medio siglo
Google DeepMind presenta AlphaProof Nexus, un sistema de inteligencia artificial que combina la creatividad de Gemini 3.1 Pro con el rigor lógico de Lean para resolver misterios matemáticos históricos.