La Ciencia de la Mula Francis

El blog de Francisco R. Villatoro

Inicio
Tienda Naukas
Blogs Naukas
Suscríbete

D20260802 Lean bug disproof collatz conjecture

Por Francisco R. Villatoro, el 2 agosto, 2026. Categoría(s): ✎

Deja un comentario Cancelar respuesta

Nombre*

E-mail*

Guarda mi nombre, correo electrónico y web en este navegador para la próxima vez que comente.

Comentario

Δ

Por Francisco R. Villatoro, publicado el 2 agosto, 2026
Categoría(s):

⇦ Un error en el núcleo de Lean aprovechado por una IA para refutar la conjetura de Collatz

Francisco R. Villatoro

Francis estudió informática, física, se doctoró en matemáticas, investiga en ciencias computacionales, le dio clases a ingenieros industriales y ahora imparte bioinformática a futuros bioquímicos en la Universidad de Málaga. Quiere ser escritor de libros de divulgación científica cuando se jubile. Mientras tanto escribe en su blog para practicar el arte de hacer fácil lo difícil. Aunque no siempre lo logre.

Buscar en el blog

Buscar:

Artículos populares

Podcast CB SyR 569: Telescopio espacial Roman, neurolingüística, materia oscura en LZ y neutrinos en XENONnT, y principio de equivalencia en cuántica
Podcast CB SyR 568: Telescopio SWIFT, efecto bouba-kiki en pollitos, organoides longevos, birrefringencia del vacío en magnetares y eclipse de Luna
Podcast CB SyR 566: Odisea de Nolan y eclipse total en España
Podcast CB SyR 567: Gran intercambio biótico americano, diversidad lingüística, cristales fotónicos temporales y nueva hipótesis sobre Tabby

Archivos

Archivos

Contenidos

Contenidos

Aviso legal - SafeCreative - Feed RSS

Este blog forma parte de la red Naukas

Copyright © 2026 La Ciencia de la Mula Francis.

Inicio
Tienda Naukas
Blogs Naukas
Suscríbete

Artículos recientes

Podcast CB SyR 569: Telescopio espacial Roman, neurolingüística, materia oscura en LZ y neutrinos en XENONnT, y principio de equivalencia en cuántica
Podcast CB SyR 568: Telescopio SWIFT, efecto bouba-kiki en pollitos, organoides longevos, birrefringencia del vacío en magnetares y eclipse de Luna
Podcast CB SyR 567: Gran intercambio biótico americano, diversidad lingüística, cristales fotónicos temporales y nueva hipótesis sobre Tabby
Podcast CB SyR 566: Odisea de Nolan y eclipse total en España
Podcast CB SyR 565: Introgresión en homininos, eclipse total, inestabilidad Kelvin-Helmholtz y piezoquiralidad