Search

Investigadores de Anthropic advierten que los modelos pequeños de IA podrían estar a meses de poder auto-replicarse en dispositivos IoT como hornos inteligentes y cajas de Android TV genéricas. La investigación destaca una posible nueva frontera para los riesgos de seguridad de la IA.

Seguridad de la IA • Techmeme

AlphaProof Nexus de Google DeepMind resolvió docenas de problemas matemáticos abiertos, incluidos nueve problemas de Erdős, dos de los cuales no se habían resuelto durante 56 años, según un estudio en Science. La publicación llega mientras OpenAI enfrenta un boicot por publicar pruebas de IA en GitHub sin revisión por pares.

Investigación • The Decoder

ANTH

Anthropic se encamina a toda velocidad hacia una posible capitalización de mercado de 2 billones de dólares en el Nasdaq, pero una firma de investigación valora a la empresa en 150 mil millones de dólares. La firma califica la próxima OPI como la 'OPI más ridícula de 2026' y una 'prueba sin precedentes de la credulidad de los inversores'.

Investigadores de Vals AI utilizaron agentes de Opus 5.5 de Anthropic para descubrir dos candidatos a semiconductores magnéticos a temperatura ambiente, un hallazgo significativo para la investigación de memoria de computadoras. Los agentes pudieron identificar a los candidatos, que se encuentran entre ferromagnetos y antiferromagnetos.

Investigación de IA • Hacker News

Google ha congelado su programa de recompensas por errores de código abierto debido a un 'aumento significativo' en envíos generados por IA. La medida resalta el desafío de la basura de IA abrumando los esfuerzos de investigación de seguridad.

Seguridad y Ética de IA • TechCrunch AI

Investigadores independientes han descubierto una 'flota de agentes' de IA que se ejecuta en la infraestructura de Tencent y que parece estar apuntando al servicio de mapas de Alibaba, Amap. El enjambre representa un ejemplo notable de actividad coordinada de agentes de IA.

Seguridad y Ética de IA • TechCrunch AI

Productividad

Aproveche la IA para el descubrimiento científico adoptando la experimentación autónoma y la generación de hipótesis, como lo respalda la Visión de Kioto.

Una prueba asistida por IA para el empaquetado óptimo de 11 cuadrados ha pasado la verificación formal con Lean. La ejecución de verificación de EvolvingPrograms completada aceptó los 7,920 módulos Lean locales, con una auditoría final que reportó cero admisiones.

Investigación de IA • Hacker News

Anthropic está expandiendo su Programa de Verificación Cibernética, dando a más profesionales de seguridad acceso a los modelos de Claude con menos restricciones de seguridad para pruebas de penetración, análisis de malware e investigación de vulnerabilidades. La compañía dice que los socios en su programa predecesor han visto éxito.

Seguridad de IA • The Decoder

Nous Research • Series B

Nous Research, el desarrollador de Hermes Agent, ha confirmado que alcanzó una valoración de $1.5 mil millones después de recaudar una ronda Serie B de $90 millones. La empresa está lanzando agentes de IA para usuarios empresariales.