Claude completa la primera prueba formal y verificada por computadora del Último Teorema de Fermat
Trabajando de forma mayormente autónoma durante 11 días sobre la plataforma Prove2Me, agentes de Claude generaron 13 millones de líneas de código Lean y probaron más de 30,000 teoremas para cerrar el último reto de formalización de la lista de Freek Wiedijk.
Leer nota → ModelosGPT-6 Astra cae ante un jailbreak a menos de 24 horas de su lanzamiento
Un investigador combinó una variante extendida del ataque Task-in-Prompt con otras cuatro técnicas para vulnerar las salvaguardas del modelo insignia de OpenAI apenas un día después de su debut.
Leer nota → ProductoClaude Security reduce sus falsos positivos 60% al pasar a Mythos 5.1
El escáner de vulnerabilidades de Anthropic, que hasta ahora corría sobre Mythos 5, adopta la revisión 5.1 del modelo, y Fable 5.1 suma la capacidad de identificar fallas de seguridad en código aunque sigue sin poder generar exploits.
Leer nota → Agentic codingClaude Code suma un panel de diffs a pantalla completa y un comando para diagnosticar skills
En dos releases consecutivos, Anthropic añadió un panel `/diff` para revisar cambios sin confirmar y el comando `/skill-doctor`, que expone cuánto contexto consume cada skill cargada en una sesión.
Leer nota → Agentic codingCodex CLI suma emparejamiento remoto, modelos de Bedrock y soporte para skills de Cursor
La CLI de OpenAI ahora genera códigos de emparejamiento para control remoto, importa skills creadas en Cursor y habilita modelos de Amazon Bedrock como GPT-5.6 Sol, Terra y Luna con razonamiento máximo.
Leer nota → HerramientasGitHub Copilot empieza a respetar las exclusiones de contenido en flujos agénticos y prepara una experiencia unificada
El resumen semanal de cambios de Copilot confirma que la app y la CLI ya honran las exclusiones de contenido de la organización, mientras GitHub anuncia que fusionará Copilot Chat, Copilot Mobile y el agente en la nube en una sola experiencia a partir del 28 de septiembre.
Leer nota → HerramientasCursor permite ejecutar sus agentes en máquinas propias con Self-Hosted Machines
La nueva función deja que el código, los builds y los secretos de un proyecto nunca salgan de la red de la empresa, mientras el agente de Cursor sigue orquestando las llamadas a herramientas desde la nube.
Leer nota →