
OpenAI publica 719 manuscritos matemáticos generados con IA. Analizamos qué verifica Lean, qué sigue pendiente y por qué comprender una prueba importa.

La ciencia acaba de dar un paso que acerca la ficción a la realidad. Un equipo de la Universidad de California en Riverside ha logrado crear por primera vez un tejido cerebral completamente sintético, sin usar recubrimientos animales ni componentes biológicos ajenos. Esta plataforma, denominada BIPORES (Bijel‑Integrated PORous Engineered System), abre una nueva etapa…