Una IA china cerró en 80 horas una conjetura matemática que llevaba diez años abiertaREDACCIÓNOtros Temas13/04/2026
