Un problema menos IA de Anthropic logra un avance inédito en uno de los grandes problemas de las matemáticas