Los laboratorios Frontier están generando descubrimientos matemáticos a una velocidad sin precedentes, lo que plantea una nueva pregunta: ¿qué ocurre cuando la IA produce más matemáticas de las que los humanos pueden verificar, interpretar o explicar de forma realista?