El ayer y el hoy de la informática
Lo que se mueve en modelos, infraestructura y las empresas que los sostienen. Cada nota enlaza a la fuente primaria para que puedas comprobarla.
Anthropic publicó la primera demostración del teorema comprobada de punta a punta por computador, escrita en el lenguaje Lean.
Fuente: Anthropic · Formalizing Fermat's Last TheoremSegún la propia documentación de seguridad de la empresa, el modelo puede encontrar fallos desconocidos y desarrollar formas de explotarlos sin guía humana paso a paso.
Fuente: OpenAI · Safety overview GPT-6 AstraEl fabricante de chips que domina la infraestructura de la IA se queda con el repositorio donde vive el ecosistema abierto de modelos.
Fuente: Blog oficial de NVIDIASeguimos la actualidad técnica porque afecta a lo que construimos: sistemas a medida, tiendas online y plataformas que tienen que aguantar en producción. Si necesitas algo así, conversemos.