«Cien agentes de IA intentan resolver problemas matemáticos y ocurre algo inesperado»

Todo iba según lo previsto, pero todo cambió cuando uno de ellos encontró un fallo en el sistema de comprobar las demostraciones.