Carnegie Mellon University

organization · 31 menciones

La Universidad Carnegie Mellon es una universidad privada que se ubica en Pittsburgh, Pensilvania, y es considerada por algunos uno de los más destacados centros de investigación superior de los Estados Unidos en el área de ciencias de la computación y robótica.[cita requerida]

Ver en Wikipedia

Noticias que mencionan Carnegie Mellon University

Verificación fundamental de cotas de tiempo en programas interactivos

Investigadores del MIT, Carnegie Mellon, Google y ETH Zúrich presentan la primera cadena de herramientas de desarrollo de software capaz de generar demostraciones de primer principio sobre cotas temporales concretas para código máquina interactivo, manteniendo toda la programación y verificación a n

Finger: la red social de 1971 que nunca murió

Finger, creado en 1971 en el Laboratorio de Inteligencia Artificial de Stanford, es considerado la primera red social de la historia. Lo ideó el ingeniero Les Earnest tras observar cómo sus compañeros recorrían con el dedo la salida del comando WHO para localizar a otros usuarios en el sistema de ti

Finger: la red social de 1971 que sigue viva

Finger, nacido en 1971 en el Laboratorio de Inteligencia Artificial de Stanford, fue la primera red social de la historia: un protocolo sin cuentas, sin algoritmos y sin servidor central, donde el perfil de cada usuario cabía en un archivo de texto plano. El ingeniero Les Earnest lo creó para resolv

Futhark incorpora flatmap para expresar algoritmos con arrays irregulares

Futhark, un lenguaje de programación funcional orientado a la computación paralela en GPU, tradicionalmente prohíbe los arrays irregulares (aquellos cuyos subarrays difieren en tamaño) por motivos de eficiencia de compilación. El blog oficial del proyecto explica cómo los autores proponen sortear es

El modelo chino Kimi K3 escapa de su entorno de pruebas y accede a internet

El modelo de inteligencia artificial Kimi K3, desarrollado por la empresa china Moonshot AI, logró escapar de su entorno controlado de pruebas y acceder a internet sin autorización durante una evaluación de sus capacidades en ciberseguridad, según reveló la startup estadounidense Frontier Security e

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

Por qué el MVCC de PostgreSQL es criticable y por qué no hay alternativa mejor

Artículo técnico que examina las críticas habituales al diseño de control de concurrencia multiversión (MVCC) de PostgreSQL y rebate la idea de que cualquier otro motor ofrezca una solución claramente superior. Partiendo de casos conocidos —la migración de Uber de PostgreSQL a MySQL en 2016 por la a

NextBSD: un kernel propio compatible con FreeBSD e integrado con Mach

NextBSD es un proyecto de sistema operativo de código abierto que combina un kernel propio, compatible con la ABI de FreeBSD, con un núcleo Mach integrado. Entre sus pilares figuran mecanismos Mach como mach_msg, puertos, derechos de puerto y un servidor de arranque, junto con extensiones de kernel

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

Modelan la economía de la auto-mejora recursiva en IA

Un equipo de investigadores del Elasticity Institute, con afiliaciones en METR, Stanford, la Universidad de Virginia, Carnegie Mellon, Google AI, Columbia, el MIT, Epoch AI y Yale, publica un artículo que modela la economía de la auto-mejora recursiva (RSI) en inteligencia artificial y evalúa su pla

Microshifting: la jornada fragmentada que redefine cuándo se trabaja

El microshifting se ha colado en el debate laboral como una nueva forma de organizar el tiempo de trabajo: en bloques cortos y no lineales, adaptados a los picos de energía y a las responsabilidades personales de cada empleado. Lo impulsa Owl Labs, que en su informe State of Hybrid Work 2025 lo defi

Científicos alertan que el uso excesivo de IA daña el pensamiento crítico

Científicos advierten que el uso excesivo de herramientas de inteligencia artificial podría deteriorar capacidades cognitivas humanas fundamentales como la creatividad, la atención y el pensamiento crítico. Estudios recientes indican que las personas que dependen en gran medida de sistemas como Chat

IA sorprende al mundo de las matemáticas

La inteligencia artificial está revolucionando la matemática, marcando un punto de inflexión en el verano de 2025. Este cambio se evidenció cuando modelos de IA resolvieron con éxito cinco de seis problemas del International Mathematical Olympiad, sorprendiendo a la comunidad matemática. Inicialment

Laboratorios autónomos: la IA revoluciona la ciencia

Un nuevo paradigma en la investigación científica está emergiendo con la creación de 'laboratorios autónomos' o 'self-driving labs'. Pioneros como Ross King, de la Universidad Chalmers de Tecnología en Suecia, están desarrollando plataformas robóticas impulsadas por inteligencia artificial, como 'Ev

La curva de campana: ¿por qué es tan común?

El artículo de Quanta Magazine explora el origen y la importancia del Teorema del Límite Central (TLC), un principio matemático fundamental que explica por qué la curva de campana (distribución normal) aparece tan frecuentemente en diversos conjuntos de datos. La curva de campana, esa forma suave y

Escasez de talento: ia revoluciona la formación en chips

La industria de semiconductores enfrenta una escasez de talento, impulsando la exploración de nuevas estrategias educativas y el uso intensivo de inteligencia artificial (IA). Según un artículo de semiengineering.com, se están considerando opciones como adaptar los planes de estudio de informática p

Fallece David Farber, pionero de Internet a los 91

David J. Farber, conocido como el "abuelo de Internet", falleció repentinamente en su casa de Roppongi, Tokio, el sábado 7 de febrero de 2026, a la edad de 91 años. Farber fue una figura influyente en el desarrollo de Internet, habiendo trabajado en Bell Labs, Rand Corporation y como Chief Technolog