¿Qué hizo Lexifina con el código fiscal de Estados Unidos? 138 errores de redacción en el código fiscal de Estados Unidos, detectados por una máquina en dos minutos y medio. Eso es lo que reporta Lexifina, un proyecto de investigación legal que tradujo el Internal Revenue Code al lenguaje Lean, cuyo verificador de tipos también …
PyPI ya dice si el 100% de los archivos de una release tiene origen verificado El umbral es binario y ya está visible: una release de PyPI tiene «procedencia completa» solo cuando el 100% de sus archivos lleva al menos una atestación digital. El equipo de la Python Package Index terminó el rediseño de sus …
Una conversación en lugar de una base de datos El usuario escribe lo que necesita —«central zurdo, menor de 24 años, titular en Segunda»— y Altair, el modelo de IA de Gemsy, busca en una base de más de 150.000 jugadores y 16.000 jugadoras repartidos en más de 450 ligas y grupos de 110 países, …
¿Quién es Helen Toner y por qué importa lo que dice? Cuatro miembros del consejo de OpenAI votaron una vez para despedir a Sam Altman. Una de esas cuatro personas es hoy una de las voces que más peso tiene en el debate sobre seguridad de la IA en Washington: Helen Toner, directora ejecutiva del …
Qué es ElevenAI y qué hace exactamente ElevenLabs presentó ElevenAI, una app de escritorio experimental que reúne en un solo lugar dos funciones que hasta ahora vivían en aplicaciones distintas: tomar notas automáticas de reuniones y dictar texto por voz en cualquier app. La compañía la mostró esta semana en su cumbre 11/11 en Nueva …
La conferencia marxista Historical Materialism (HM) celebró en Londres su edición más grande: 370 mesas redondas y más de 1.600 personas inscritas, la cifra más alta de su historia. El lema de este año, «Paisajes bélicos planetarios en llamas: mutaciones imperiales en tiempos infernales», anticipaba el tono, pero el debate que más debería interesar a …
Nvidia pierde hasta 14% tras la salida de Jensen Huang Nvidia vio caer su acción hasta un 14% en las operaciones previas a la apertura del jueves 12 de noviembre, después de que su junta directiva forzara la renuncia de Jensen Huang, el CEO que cofundó la compañía en 1993 y la convirtió en la …
Anthropic fija el precio de su IPO: los números detrás de la operación Anthropic pondrá precio a su salida a bolsa el 18 de noviembre y empezará a cotizar en el Nasdaq con el símbolo ANT al día siguiente. El rango definido es de US$70 a US$78 por acción, con una valuación que puede llegar …
OpenAI abre ChatGPT Wallet: los agentes dots ya pueden pagar OpenAI activó ChatGPT Wallet, una cartera digital que permite a sus agentes dots completar compras online usando tarjetas Visa, Mastercard y American Express. El anuncio se hizo el viernes y el despliegue está limitado a suscriptores de ChatGPT Pro mayores de 18 años residentes en …
Un modelo de 753.000 millones de parámetros servido desde dos máquinas NVIDIA publicó un tutorial técnico que muestra cómo servir GLM-5.3 —la versión cuantizada en NVFP4 del modelo de mezcla de expertos (MoE) de Z.ai— sobre dos DGX Station con vLLM, alcanzando 607,8 tokens por segundo con concurrencia 16. El dato importa porque rompe una …
Noticias del ecosistema startup en 2 minutos. Gratis, todos los días.
