Se ha implementado la primera geometría sólida constructiva 3D verificada formalmente: la intersección de mallas, implementada en Lean 4 y verificada contra una especificación conc
IA vía lji.org Una vacuna contra el VIH ha demostrado resultados sin precedentes en un estudio preclínico
Un desarrollador ha creado Ctrlb-decompose, una herramienta que limpia registros antes de enviarlos a modelos de lenguaje
IA vía simpleflying.com Más de 150
Se crea un sitio web para celebrar la gran ficción en internet
IA vía theverge.com Se crean deepfakes no consensuales con Hugging Face
IA vía theverge.com Perplexity ha ampliado su herramienta Personal Computer a Windows, permitiendo que los ordenadores con el sistema operativo más popular se utilicen como un sistema de inteligencia
IA vía techcrunch.com La empresa Recursive Superintelligence ha firmado un acuerdo de cómputo con Amazon por $410 millones
IA vía hobbyconsolas.com Resident Evil Requiem ha vendido 8 millones de copias
IA vía microsiervos.com Nuevos juegos de lógica basados en Buscaminas y Wordle