Un profesor reestructura sus exámenes ante la irrupción de la IA

Un profesor de la Universidad Carnegie Mellon ha rediseñado la evaluación de su curso de Machine Learning in Production para adaptarse a la capacidad de los agentes de IA para resolver tareas académicas. Tras cinco años de experiencia, el docente ha abandonado las tareas de comprensión que se realiz

Waymo reduce las lesiones en un 82% según sus datos de seguridad

Waymo ha publicado nuevos datos que indican que sus vehículos autónomos han reducido las colisiones que causan lesiones en un 82% en comparación con los conductores humanos. La empresa analizó 271 millones de millas recorridas en cinco ciudades de Estados Unidos hasta finales de junio, una cifra equ

La interfaz de PGP 5.0 no es usable para usuarios sin formación criptográfica

Un estudio de caso sobre la usabilidad de PGP 5.0, presentado en el 8º Simposio de Seguridad de USENIX, sostiene que la eficacia de la criptografía depende de que el usuario medio sea capaz de utilizarla correctamente, y que los principios generales de diseño de interfaces no bastan para lograrlo. L

Andy Pavlo se incorpora a ClickHouse para lanzar ClickHouse Labs

El profesor de la Carnegie Mellon University Andy Pavlo se incorpora a ClickHouse para crear y dirigir ClickHouse Labs, un nuevo grupo de investigación en bases de datos. Pavlo, que seguirá vinculado a la universidad, liderará un equipo que colaborará estrechamente con los ingenieros, clientes y soc

El arnés Schema alcanza cerca del 99% en ARC-AGI-3 con modelos de frontera

Un equipo de Impossible Research, la Universidad de California en Berkeley y la Carnegie Mellon University presenta Schema, un arnés que logra que los modelos de frontera afronten los retos de ARC-AGI-3 como lo haría un físico: escribir el mecanismo de cada juego como un programa ejecutable, contras

Un estudio advierte que un commit de GitHub con marca "Verificado" no es único

Una investigación publicada como preprint por Jacob Ginesin, de la Universidad Carnegie Mellon, sostiene que un commit firmado en GitHub con la etiqueta "Verified" puede no ser único: un atacante sin acceso a la clave de firma puede generar un segundo commit distinto, con el mismo árbol, los mismos

Qué significa ser matemático cuando la IA hace los cálculos

La irrupción de la inteligencia artificial en las matemáticas ha pasado en pocos años de la regurgitación de fórmulas básicas a la demostración autónoma de teoremas de nivel predoctoral. En el verano de 2025, sistemas de Google DeepMind y OpenAI alcanzaron la medalla de oro en la Olimpiada Internaci

RamAIn: IA automatiza tareas empresariales

Una nueva startup de inteligencia artificial llamada RamAIn, acelerada por Y Combinator (YC W26), ha surgido con la misión de automatizar flujos de trabajo empresariales mediante el uso de 'agentes de uso de computadora'. Fundada por Shourya Vir Jain (CEO) y Vansh Ramani (CTO), ambos egresados del I

RamAIn: IA para automatizar empresas y eliminar tareas

Una nueva startup llamada RamAIn, acelerada por Y Combinator (YC W26), ha surgido con la misión de revolucionar la automatización empresarial mediante el uso de agentes de inteligencia artificial. Fundada por Shourya Vir Jain (CEO) y Vansh Ramani (CTO), ambos egresados de IIT Delhi, la empresa busca