Noticias Tech - Página 11 de 43 - El Solitario

Diagrama del Teorema de Fermat formalizado en Lean por Claude

Noticias Tech

Claude formaliza el Último Teorema de Fermat en Lean en 11 días

Anthropic anunció que Claude produjo la primera demostración del Último Teorema de Fermat verificable por computadora, escrita en el lenguaje Lean. El trabajo, de 13 millones de líneas de código, tomó apenas 11 días de agentes trabajando de forma autónoma.

Por Andrés Morales, hace 1 mes

Diagrama de la compresión de modelos en el catálogo de Cerebras Inference

Noticias Tech

Cerebras detalla su catálogo de inferencia: GPT OSS 120B corre a 3.000 tokens/s

Cerebras actualizó la documentación de su servicio de inferencia con la tabla de modelos disponibles y una explicación detallada de su política de compresión de modelos: cuantización selectiva por capas, sin poda de arquitectura en producción.

Por Andrés Morales, hace 1 mes

Mapa mundial interactivo de Any Human Ever mostrando densidad de población histórica

Noticias Tech

Any Human Ever: la web que simula una vida entre 100.000 millones

Any Human Ever es un proyecto web que asigna al usuario una vida ficticia pero estadísticamente plausible, elegida al azar entre las más de 100.000 millones de personas que han existido. La herramienta combina datos de natalidad histórica y densidad poblacional para reconstruir dónde y cuándo pudo haber vivido esa persona.

Por Andrés Morales, hace 1 mes

Jerarquía de dominios .name antes de la eliminación del tercer nivel

Noticias Tech

ICANN aprueba terminar el nivel 3 de .name: 22.000 dominios en riesgo

ICANN aprobó destruir el tercer nivel completo de los dominios .name. La medida deja a 22.000 titulares, entre ellos el developer Neil Fraser, sin correo, sitio web ni control de sus dispositivos IoT antes de febrero.

Por Andrés Morales, hace 1 mes3 septiembre, 2026

Panel de privacidad de Mistral con el toggle de opt-out de entrenamiento

Noticias Tech

Mistral deja optar por no usar tus datos para entrenar IA

Mistral documenta cómo activar el opt-out de entrenamiento en Vibe, la app móvil y la API: dos toggles separados que hay que configurar por tu cuenta. Los pasos exactos varían según uses el plan consumidor, Vibe Enterprise o Mistral Studio.

Por Javier Alarcón, hace 1 mes

Diagrama de energia del reciclaje comparando una bolsa de plastico y una bolsa de algodon reutilizable

Noticias Tech

Bolsa de algodon necesita 173 reusos para superar al plastico

Un estudio publicado en Works in Progress desafia el sentido comun sobre el reciclaje: fabricar un producto reutilizable puede consumir miles de veces mas energia que uno descartable. Una bolsa de algodon, por ejemplo, necesita 173 usos para empatar con una de plastico.

Por Andrés Morales, hace 1 mes2 septiembre, 2026

Interfaz de Fastpotify, cliente nativo de Spotify en Rust con Winamp y MilkDrop

Noticias Tech

Fastpotify: el cliente nativo de Spotify usa 100-250 MB de RAM

Fastpotify es un cliente nativo de Spotify escrito en Rust que arranca en menos de un segundo y consume entre 100 y 250 MB de RAM. Incluye Spotify Connect, un modo mini reproductor estilo Winamp y visualizaciones MilkDrop, todo bajo licencia MIT.

Por Andrés Morales, hace 1 mes

Chips GPU apilados representando el concurso GPU World sobre IA abundante

Noticias Tech

GPU World: concurso de relatos sobre IA reparte 100.000 dólares

GPU World es un concurso de relatos que imagina un 2040 con miles de millones de GPU disponibles para toda la humanidad, aunque el progreso de la IA se congele en 2026. Reparte $100.000 en premios y lo juzgan Neal Stephenson, Gwern Branwen y Matt Huang. Las postulaciones cierran el 31 de octubre de 2026.

Por Javier Alarcón, hace 1 mes

Extensiones Manifest V2 como uBlock Origin eliminadas de Chrome Web Store

Noticias Tech

Google elimina uBlock Origin y las extensiones Manifest V2 de Chrome

Google completó la eliminación de las extensiones Manifest V2 del Chrome Web Store, dejando fuera a uBlock Origin y otros bloqueadores clásicos. Brave decidió rescatar cuatro de ellas alojándolas en su propio backend, mientras Firefox sigue dando soporte indefinido a MV2.

Por Andrés Morales, hace 1 mes

Cabina telefónica de Playa Phone iluminada en el desierto de Black Rock City

Noticias Tech

Playa Phone: la cabina VoIP que conecta a extraños en Burning Man

Playa Phone es una cabina telefónica real instalada en Burning Man que reemplazó las monedas por VoIP: cualquiera puede marcar el número público y hablar gratis 5 minutos con un desconocido. Repasamos cómo funciona por dentro y cómo replicar la idea con software libre.

Por Andrés Morales, hace 1 mes