Los modelos de IA comienzan a resolver problemas matemáticos de alto nivel

El fin de semana pasado, Neel Somani, un ingeniero de software, ex investigador cuantitativo y fundador de startups, estaba probando las habilidades matemáticas del nuevo modelo de OpenAI cuando hizo un descubrimiento inesperado. Después de pegar el problema en ChatGPT y dejarlo "pensar" durante 15 minutos, regresó para encontrar una solución completa. Evaluó la demostración y la formalizó con una herramienta llamada Harmonic, pero todo resultó correcto.

Por qué llevamos 50 años intentando reemplazar a los desarrolladores (y seguimos fracasando)

Cuando Neil Armstrong pisó la Luna en 1969, el mundo celebró el triunfo de la ingeniería humana. Pero detrás de ese momento histórico había algo que pasó desapercibido para la mayoría: Margaret Hamilton y su equipo escribiendo a mano el software de navegación del Apollo, línea por línea, detectando errores críticos mediante revisiones meticulosas.

Digg vuelve a la vida: los creadores originales de Digg y Reddit relanzaron la plataforma para competir directamente con Reddit

Después de años de ostracismo digital, Digg ha vuelto oficialmente. La plataforma que una vez fue una de las más prometedoras de agregación de noticias en la Web 2.0 acaba de relanzarse con un enfoque revolucionario: señales de confianza, transparencia en la moderación y defensas robustas contra el spam impulsado por inteligencia artificial.