Un problema menos IA de Anthropic logra un avance inédito en uno de los grandes problemas de las matemáticas 12.08.2026 08:42 ">