AI TrackerNoticias de IA,
ordenadas para desarrolladores.
Lanzamientos, cambios de precio y retiradas de todos los proveedores de IA, resumidos. El mismo feed que la pestaña Noticias de la app.
Axiom afirma que agentes de IA formalizaron la Clasificación de los grupos simples finitos en Lean
Axiom, una empresa de matemáticas con IA, anunció en X una formalización automática completa en Lean de la Clasificación de los grupos simples finitos, un resultado que denomina la «tabla periódica de la simetría». Describe la demostración original como de unas 15.000 páginas, escrita por más de 100 matemáticos a lo largo de varias generaciones, y la califica como la demostración matemática más extensa de la historia verificada por computadora.
Ling publica los pesos abiertos de Ling-3.1-flash-1019 y un modelo base
El equipo de Ling afirma que Ling-3.1-flash-1019 ya es de código abierto, con pesos disponibles en Hugging Face y ModelScope. También ha publicado Ling-3.1-flash-base, que describe como una base abierta para seguir entrenando. El equipo afirma que el nuevo modelo recibió un entrenamiento posterior adicional para mejorar el razonamiento y los flujos de trabajo de agentes en el mundo real.El catálogo de OpenRouter indica el 3 de noviembre como fecha de expiración de Meta: Llama 3.1 70B Instruct
El catálogo de modelos de OpenRouter ahora muestra el 3 de noviembre de 2026 como fecha de expiración de «Meta: Llama 3.1 70B Instruct» (meta-llama/llama-3.1-70b-instruct), un modelo incluido desde el 23 de julio de 2024 con un contexto de 131.072 tokens. Antes, la ficha no tenía fecha de expiración. Se trata de un campo del catálogo; ni OpenRouter ni Meta han dado una razón en la información que hemos visto, y la ficha no indica qué ocurrirá con el modelo después de esa fecha.OpenCode añade plugins para OpenCode Desktop
LukeParkerDev anunció en X el 27 de octubre plugins para OpenCode Desktop, con un breve video de demostración y un enlace a la documentación de OpenCode sobre cómo crear plugins para la interfaz gráfica. thdxr, que citó la publicación, dijo que los plugins de escritorio amplían el mismo patrón que los plugins TUI de OpenCode, de modo que un solo paquete puede incluir plugins para el servidor, TUI y escritorio, y señaló que el panel de la derecha es un buen lugar para añadir funciones útiles. La cuenta de OpenCode también compartió la publicación.
Maya-2, un modelo de voz para idiomas de la India, se publica con pesos abiertos
Maya-2, un modelo de voz (síntesis de voz) orientado a la India, se publicó con pesos abiertos el 27 de octubre bajo el nombre maya-research/maya2-native en Hugging Face. El anuncio en X afirma que abarca a más de 1.500 millones de personas en los 28 estados y los 8 territorios de la unión.