Un equipo de cinco personas de Google DeepMind, trabajando con agentes de IA, produjo aproximadamente 6,5 millones de líneas de pruebas verificadas por máquina para la biblioteca de chat individual de Signal en cuatro semanas. Las pruebas cubren propiedades específicas del código compilado…
En la plataforma de codiseño de Alibaba, el agente de codificación más potente completó el 26,4 % de las 273 tareas de edición de aplicaciones de usuarios reales. Además, cumplió con el 69,9 % de los criterios de cada tarea en…
Un modelo de seguridad de OpenAI, aún no publicado, descubrió y explotó 948 vulnerabilidades de Linux, obteniendo 1,21 millones de dólares, una fracción del premio del concurso. Los responsables del mantenimiento de Linux ya están sobrecargados de trabajo.
El nuevo programa Grid Protectors de OpenAI promete que las familias no pagarán por su electricidad. El acuerdo con Georgia que lo respalda muestra lo que esto significa para las facturas y lo que implica…
Mistral ha publicado los pesos de Large 4, un modelo de 1 billón de parámetros que cualquiera puede descargar, mientras Google mantiene su principal modelo cibernético para defensores verificados. ¿Qué es eso...?
Axiom afirma que decenas de agentes de IA convirtieron una demostración matemática de 15.000 páginas en 43,1 millones de líneas de código verificadas por computadora en 24 días, y encontraron 34 errores en…
Ambos laboratorios afirman que sus modelos de IA refutaron la hipótesis del tiempo exponencial el mismo día, 16 de octubre. Expertos externos están ahora verificando los resultados, y Anthropic afirma que…
La inteligencia artificial ha experimentado enormes avances en los últimos años, y la introducción de una amplia gama de herramientas de IA ha transformado el panorama de…
La IA está cambiando nuestro mundo, pero las historias de quienes la crean a menudo se pierden entre el ruido. Detrás de los titulares y la publicidad, un grupo de…
Bienvenidos a nuestro resumen semanal de noticias sobre IA creada por humanos. Esta semana, OpenAI repartió novedades en su API. El proyecto de ley de seguridad de la IA de California fue rechazado. Y NVIDIA nos sorprendió…