Estas conjeturas menores, al ser probadas por LLMs, son pruebas correctas de uno entre un millón. Impresionante, pero un poco de la misma manera que los caballos de circo pueden contar hasta cinco.