Un error en el núcleo de Lean aprovechado por una IA para refutar la conjetura de Collatz Ciencia | 2 agosto, 2026
Fracasa el proyecto LANA que formaliza la (supuesta) prueba de la conjetura abc de Mochizuki Ciencia | 21 julio, 2026
Sobre la resolución de problemas de Erdős usando inteligencia artificial generativa Matemáticas | 23 enero, 2026
