"Las matemáticas están experimentando el mayor cambio de su historia." ¡Nos alegra ver que nuestro agente de matemáticas #Aletheia destacado por @newscientist en sus resultados en el desafío inaugural FirstProof, junto a otros hitos interesantes en la investigación en IA para las matemáticas! Implicaciones que merece la pena considerar. Enlace en el hilo.