La Vanguardia Una IA de Google sería medalla de plata en las olimpiadas matemáticas
El agente AlphaProof produce estrategias de razonamiento comparables a las humanas
El agente AlphaProof produce estrategias de razonamiento comparables a las humanas