Un error en el núcleo de Lean aprovechado por una IA para refutar la conjetura de Collatz Ciencia | 2 agosto, 2026
