El límite de Wolfram: Wolfram no puede "demostrar" un teorema universal infinito como Fermat, porque Wolfram funciona por computación. Podría comprobar $x^n + y^n = z^n$ hasta el billón, pero no te puede asegurar que en el trillón no falle. Lean, mediante axiomas abstractos, sí. https://t.co/OVZbdrBVPv