Catálogo de números
El hito matemático de OpenAI, 'Le Chonk' de Mistral y la financiación de 15.000 millones de dólares de DeepSeek
AINúmero diario

El hito matemático de OpenAI, 'Le Chonk' de Mistral y la financiación de 15.000 millones de dólares de DeepSeek

OpenAI publica 722 manuscritos matemáticos generados por un modelo no lanzado, Mistral presenta su modelo 'Le Chonk' de 1 billón de parámetros y DeepSeek busca una ronda de financiación de 15.000 millones de dólares. Mientras tanto, Anthropic amplía su programa de verificación cibernética y publica detalles de su OPI, mientras que los líderes de la industria respaldan un nuevo Protocolo de Agente Personal.

Podcast В· 2 min

01

OpenAI publica 722 manuscritos matemáticos de un modelo no lanzado

OpenAI ha publicado 722 manuscritos de investigación matemática generados por un modelo fronterizo no lanzado. La colección abarca 372 familias de resultados en campos como la teoría de números, la informática y la física. Cada resultado requirió aproximadamente tres horas de tiempo de cómputo de ChatGPT Pro. Notablemente, muchas demostraciones incluyen formalizaciones en Lean, lo que permite la verificación mecánica de los pasos lógicos, abordando el desafío crítico de garantizar que las demostraciones generadas por IA sean matemáticamente sólidas. OpenAI consultó con el grupo asesor de matemáticas e IA del Instituto de Estudios Avanzados sobre la publicación y planea financiar más talleres para validar estos hallazgos.

02

Mistral AI lanza 'Le Chonk' (Large 4)

El laboratorio francés de IA Mistral AI ha presentado Large 4, un modelo abierto de 1 billón de parámetros apodado 'Le Chonk'. La empresa afirma que el modelo lidera los sistemas abiertos no chinos por un margen sustancial, particularmente en puntos de referencia de ciberseguridad y legales. Mistral informa que el modelo logró una puntuación del 82% en una prueba de errores con la que otros modelos fronterizos tuvieron dificultades. Si bien los pesos están programados para su publicación pública el 27 de octubre, los expertos en ciberseguridad y las agencias gubernamentales han recibido un período de vista previa de tres semanas.

03

La ronda de financiación de DeepSeek podría alcanzar los 15.000 millones de dólares

CNBC informa que el laboratorio chino de IA DeepSeek está recaudando actualmente una nueva ronda de financiación que podría valorar la empresa en hasta 15.000 millones de dólares. Esta importante inyección de capital subraya el rápido ritmo de desarrollo en el sector chino de la IA y la intensa competencia global por recursos y participación de mercado entre los laboratorios de modelos fronterizos.

04

El prospecto de OPI de Anthropic revela la compensación ejecutiva

El prospecto de OPI de Anthropic se ha hecho público, detallando la compensación ejecutiva para 2025. El CEO Dario Amodei ganó 18 millones de dólares y la presidenta Daniela Amodei ganó 16,4 millones de dólares, consistiendo la mayoría de estos paquetes en acciones y opciones. Ambos ejecutivos vieron aumentar sus salarios base a 1,4 millones de dólares a partir de julio de 2026, proporcionando una mirada poco común a la estructura financiera de un laboratorio líder de IA que se prepara para los mercados públicos.

05

Datos de a16z: el 1% superior de los usuarios de IA gasta 903 dólares al mes

Nuevos datos de a16z revelan que el 1% superior de los usuarios de IA que pagan gasta un promedio de 903 dólares al mes en servicios de IA. Este grupo representa el 19,5% del gasto total de los consumidores en IA, superando el gasto combinado del 50% inferior de los usuarios. Esto resalta una disparidad significativa en la intensidad de uso y la disposición a pagar entre los adoptantes más activos de la IA.

06

Los líderes de la industria respaldan el Protocolo de Agente Personal

Un consorcio que incluye a Meta, Sierra, Stripe, Shopify y Walmart ha anunciado su apoyo a un 'Protocolo de Agente Personal' abierto. La iniciativa tiene como objetivo crear un marco estandarizado para autorizar agentes de IA, permitiendo a los individuos otorgar permisos mientras las empresas definen los límites operativos para estos agentes. Este esfuerzo colaborativo busca abordar la creciente necesidad de gobernanza a medida que los agentes autónomos se integran más en los flujos de trabajo empresariales y de consumo.

07

Hark lanza un asistente de IA proactivo

Hark, una startup de IA fundada por Brett Adcock de Figure AI, ha lanzado 'Hark Pro'. El asistente está diseñado para ser proactivo, capaz de investigar, comprar, reservar y gestionar tareas en plataformas web y móviles. El sistema utiliza 'Handoff', un entorno de computación en la nube que puede gestionar hasta 36 navegadores simultáneamente. La empresa también anunció planes para lanzar una familia de dispositivos de hardware en 2027, respaldada por una asociación de conectividad con AT&T.

08

Anthropic expande el Programa de Verificación Cibernética

Anthropic ha expandido su Programa de Verificación Cibernética, otorgando a los defensores de ciberseguridad verificados un acceso más amplio a sus modelos más capaces. La expansión sigue a informes de que los socios han identificado con éxito al menos 129.000 vulnerabilidades de software verificadas utilizando los modelos, demostrando la utilidad de la IA fronteriza en la detección y defensa proactiva de amenazas.

El hito matemático de OpenAI, 'Le Chonk' de Mistral y la financiación de 15.000 millones de dólares de DeepSeek | Neural Format