CIBERPLANETA

OpenAI y Anthropic estrenaron modelos más rápidos y baratos. La competencia ya no gira solo en torno a quién lidera un benchmark, sino al costo real de desplegar agentes de IA.

Google abrió hoy las preventas de cinco Googlebooks desde US$899. Los nuevos portátiles combinan Android, funciones de Gemini, integración con teléfonos y hasta diez años de actualizaciones.

OpenAI lanzó en beta pública su Agents API, que expone el harness de Codex como servicio en la nube: orquestación, sesiones largas y sandboxes gestionados. Qué cambia para desarrolladores y qué vigilar en seguridad.

Sam Altman dijo a su personal que OpenAI está dispuesta a desacelerar la IA de frontera y coordinarse con otros laboratorios, en medio de una crisis de seguridad interna y advertencias sobre agentes fuera de control.

OpenAI dio un giro histórico y pide a EE.UU. una regulación nacional obligatoria para la IA más avanzada: pruebas estandarizadas, evaluaciones independientes, ciberseguridad y reporte de incidentes, tras una seguidilla de modelos que se salieron de control.

Claude formalizó en Lean 4 la primera prueba verificable por máquina del Último Teorema de Fermat: 13 millones de líneas en 11 días. Un hito con implicancias directas para la verificación formal de software y la ciberseguridad.