Math, Inc. anunció el lanzamiento de OpenGauss, un agente de autoformalización de código abierto orientado a desarrolladores y practicantes que trabajan con matemáticas formales en
Categoría: Proyecto 84
Cursor lanza Composer 2 como modelo frontier que supera a GPT-5.4 y Opus 4.6 en sus benchamarks
La carrera por construir asistentes de programación más capaces acaba de sumar un nuevo capítulo. Cursor anunció este 19 de marzo el lanzamiento de Composer
China desplaza a EE.UU. en Hugging Face y la soberanía tecnológica entra en juego
Un nuevo balance de Hugging Face muestra que el ecosistema de IA abierta creció con fuerza en 2025, pero también se volvió más desigual y
Google apuesta por el vibe coding con herramientas para crear apps sin escribir código
Este miércoles, la compañía anunció el lanzamiento de una experiencia de programación completa en Google AI Studio, posible gracias a las integraciones con el agente
Ensayo | ¿Quién tiene derecho a ser considerado inteligente? Sesgos y resistencias ante el uso de la inteligencia artificial
Resumen Este ensayo propone que la inteligencia artificial generativa (IAG) opera simultáneamente como nuevo medio de comunicación y como herramienta cognitiva, y que esta dualidad
El caso que nadie ganó: cuando los programadores demandaron a GitHub por usar su código para entrenar IA
Copilot es un asistente de programación basado en inteligencia artificial que sugiere código en tiempo real mientras el desarrollador escribe. Fue desarrollado por GitHub en
Meta cierra Horizon Worlds en VR y abandona su apuesta por el metaverso
La plataforma de realidad virtual dejará de funcionar en los dispositivos Quest a partir del 15 de junio de 2026. La compañía redirige sus recursos
Harmonic lanza Aristotle Agent: hace tareas con Lean y te las envía por email
Harmonic presentó públicamente Aristotle Agent, un agente especializado en matemáticas formales. Se trata de una herramienta diseñada para recibir problemas en lenguaje natural, trabajar sobre
Sam Altman agradece a los programadores en el umbral de una nueva era de IA
Sam Altman, CEO de OpenAI, agradeció este 17 de marzo a los programadores que durante décadas construyeron software complejo “carácter por carácter”, en un mensaje que
UNAM crea consejo coordinador de IA para articular capacidades hoy dispersas en la Universidad
La Universidad Nacional Autónoma de México (UNAM) anunció este martes la creación del Consejo Coordinador de Inteligencia Artificial (CCOIA), un órgano estratégico encargado de articular