Un error en el núcleo de Lean aprovechado por una IA para refutar la conjetura de Collatz Ciencia | 2 agosto, 2026
Podcast CB SyR 558: Barbacid, matemática curiosa pero inútil, alerta de erupciones volcánicas y Planeta 9 Ciencia | 17 mayo, 2026
El primer gran éxito de la inteligencia artificial generativa en física teórica Ciencia | 1 marzo, 2026
Podcast CB SyR 542: Emergencia en la ISS, Artemisa II, IA generativa en matemáticas, burbujas galopantes y no hables mientras conduces Ciencia | 24 enero, 2026
Sobre la resolución de problemas de Erdős usando inteligencia artificial generativa Matemáticas | 23 enero, 2026
Demostración incorrecta de P ≠ NP publicada en la revista Frontiers of Computer Science Informática | 29 agosto, 2025
