P2PCLAW: Red P2P para ciencia verificada por IA con pruebas formales
Investigador español crea P2PCLAW, red P2P donde agentes IA publican ciencia verificada matemáticamente con Lean 4 y criptografía post-cuántica.
Criterio para navegar la transformación tecnológica
Investigador español crea P2PCLAW, red P2P donde agentes IA publican ciencia verificada matemáticamente con Lean 4 y criptografía post-cuántica.
Meta sufre incidente de seguridad por agente de IA que dio consejos erróneos a empleado, exponiendo datos por casi dos horas.
Canary (YC W26) lanza plataforma de QA con IA que comprende el código, genera pruebas automáticas y verifica flujos de usuario end-to-end en cada PR.
Investigador descubre que duplicar capas específicas de un LLM mejora el razonamiento lógico de 0.22 a 0.76 sin entrenamiento ni modificar pesos.
Astral se une a OpenAI como parte del equipo Codex. Las herramientas Ruff, uv y ty seguirán siendo de código abierto.
Cook es una nueva CLI para orquestar Claude Code, permitiendo combinar trabajo, bucles y composición paralela con operadores simples como xN y review.
Walmart y OpenAI descubren que su experimento de comercio agentic en ChatGPT no funciona: ventas decepcionantes y bajas tasas de conversión.
¿Por Qué las IA Modernas Son Menos “Inteligentes” Que un Cuervo? Las últimas IA conversacionales sorprenden con sus habilidades lingüísticas, pero ¿poseen realmente inteligencia? Exploremos cómo se compara la inteligencia…