claude archivos - El Solitario

Diagrama del Teorema de Fermat formalizado en Lean por Claude

Noticias Tech

Claude formaliza el Último Teorema de Fermat en Lean en 11 días

Anthropic anunció que Claude produjo la primera demostración del Último Teorema de Fermat verificable por computadora, escrita en el lenguaje Lean. El trabajo, de 13 millones de líneas de código, tomó apenas 11 días de agentes trabajando de forma autónoma.

Por Andrés Morales, hace 1 día

Claude Fable 5.1, el nuevo modelo de Anthropic para código y ciencia

Inteligencia Artificial

Claude Fable 5.1 y Mythos 5.1: Anthropic baja precios hasta 45%

Anthropic presentó Claude Fable 5.1 y Claude Mythos 5.1, dos versiones del mismo modelo con distintas salvaguardas. Fable 5.1 cuesta hasta 45% menos que su predecesor y ya está disponible para todos los desarrolladores.

Por Andrés Morales, hace 4 días

Ingeniería inversa asistida por IA en el firmware de un periférico USB

Noticias Tech

Claude Opus 5 halla fallos de seguridad en 5 periféricos en 13 horas

Un desarrollador usó Claude Opus 5 para hacer ingeniería inversa asistida por IA en cinco periféricos de su escritorio. En trece horas y noventa y ocho prompts encontró que el firmware de un webcam y un monitor no tiene firma criptográfica real.

Por Andrés Morales, hace 2 semanas

Diagrama del ataque de razonamiento cifrado a modelos de IA como Claude y GPT

Inteligencia Artificial

Stolen Thoughts: filtran 704 secretos del razonamiento cifrado de la IA

Un grupo de investigadores publicó Stolen Thoughts, una técnica que decodifica el razonamiento cifrado de Claude, GPT y Gemini reinyectando el bloque firmado en un modelo más débil y jailbreakeado. Al analizar 6.708 trazas públicas de agentes en GitHub y Hugging Face, hallaron 704 secretos reales, entre ellos 62 API keys y 33 contraseñas.

Por Andrés Morales, hace 4 semanas

Captura conceptual de DarkHours.app, la aplicación de astronomía clonada con IA

Noticias Tech

Terry Godier cierra Dark Hours: Claude clonó DarkHours.app, bug incluido

Un desarrollador construyó con Claude una app de astronomía casi idéntica a un proyecto de código abierto existente, hasta reproducir un bug ya corregido. Al descubrirlo, redirigió su dominio al original y se disculpó públicamente.

Por Andrés Morales, hace 4 semanas