OpenAI ha subido a GitHub el mayor repositorio de demostraciones matemáticas generadas por inteligencia artificial jamás publicado: 722 manuscritos agrupados en 372 familias de teoremas, todos verificados formalmente con Lean, el asistente de pruebas que la comunidad matemática usa para confirmar q…
Los reguladores medioambientales de Finlandia han ordenado a Google detener inmediatamente la tala de bosques en dos emplazamient…
Google, Meta y el Chan Zuckerberg Biohub han anunciado una inversión conjunta que supera los 1.800 millones de dólares (≈ 1.692 m…
Meta ha presentado nuevas herramientas de inteligencia artificial para detectar y eliminar los anuncios publicitarios que dirigen…
Google ha lanzado este miércoles SynthID Detector como servicio público global. A partir de hoy, cualquier persona puede ir a syn…
Los modelos de lenguaje son excelentes generando texto coherente, pero terribles prediciendo qué hará una persona concreta en una…
Las tiendas de licores independientes en Estados Unidos tienen un problema de gestión que la tecnología no había resuelto a escal…
Brett Adcock, el fundador detrás de Figure AI —la empresa de robots humanoides que consiguió financiación de Microsoft, BMW y Ope…
La fundación Wikimedia tiene un problema con OpenAI y sus agentes autónomos. La organización ha detectado que sistemas de IA atri…
