La Ciencia de la Mula Francis

El blog de Francisco R. Villatoro

Inicio
Tienda Naukas
Blogs Naukas
Suscríbete

Etiqueta: LANA (proyecto ZEN)

Fracasa el proyecto LANA que formaliza la (supuesta) prueba de la conjetura abc de Mochizuki

Ciencia | 21 julio, 2026

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

Fable 5 refuta la conjetura del jacobiano
Un error en el núcleo de Lean aprovechado por una IA para refutar la conjetura de Collatz
La primera ventaja cuántica por escalado en un algoritmo NP-completo
Fracasa el proyecto LANA que formaliza la (supuesta) prueba de la conjetura abc de Mochizuki

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

El efecto piezoquiral se observa en AgGaS₂
La superradiancia rotacional en un sistema de Floquet con solo tres resonadores
Un error en el núcleo de Lean aprovechado por una IA para refutar la conjetura de Collatz
El arcoíris desde el infrarrojo cercano hasta el ultravioleta
Fable 5 refuta la conjetura del jacobiano