AI TrackerLes actus IA,
triées pour les devs.
Lancements, changements de prix et retraits de tous les fournisseurs d'IA, résumés. Le même fil que l'onglet Actus de l'app.
Axiom affirme que des agents d’IA ont formalisé la classification des groupes simples finis en Lean
Axiom, une entreprise spécialisée en mathématiques et en IA, a annoncé sur X une formalisation automatique complète en Lean de la classification des groupes simples finis, un résultat qu’elle qualifie de « tableau périodique de la symétrie ». L’entreprise décrit la preuve originale comme comptant environ 15 000 pages, rédigées par plus de 100 mathématiciens au fil des générations, et la présente comme la plus grande preuve mathématique de l’histoire vérifiée par ordinateur.
Ling publie les poids ouverts de Ling-3.1-flash-1019 et un modèle de base
L’équipe Ling indique que Ling-3.1-flash-1019 est désormais open source, avec ses poids disponibles sur Hugging Face et ModelScope. Elle a également publié Ling-3.1-flash-base, qu’elle décrit comme une base ouverte destinée à l’entraînement complémentaire. L’équipe précise que le nouveau modèle a bénéficié d’un entraînement postérieur supplémentaire axé sur le raisonnement et les flux de travail d’agents en conditions réelles.Le catalogue d’OpenRouter indique le 3 novembre comme date d’expiration pour Meta: Llama 3.1 70B Instruct
Le catalogue de modèles d’OpenRouter affiche désormais le 3 novembre 2026 comme date d’expiration pour « Meta: Llama 3.1 70B Instruct » (meta-llama/llama-3.1-70b-instruct), un modèle répertorié depuis le 23 juillet 2024 et doté d’un contexte de 131 072 tokens. L’entrée ne comportait auparavant aucune date d’expiration. Il s’agit d’un champ du catalogue ; ni OpenRouter ni Meta n’ont donné de raison, d’après les éléments que nous avons vus, et l’entrée ne précise pas ce qu’il adviendra du modèle après cette date.OpenCode ajoute des plugins à OpenCode Desktop
LukeParkerDev a annoncé sur X, le 27 octobre, la sortie de plugins pour OpenCode Desktop, avec une courte vidéo de démonstration et un lien vers la documentation OpenCode sur la création de plugins pour l’interface graphique. thdxr, qui a cité la publication, a indiqué que les plugins pour ordinateur reprennent le même modèle que les plugins TUI d’OpenCode : un même package peut donc inclure des plugins pour le serveur, le TUI et l’application de bureau. Il a aussi estimé que le panneau de droite était un bon emplacement pour des ajouts utiles. Le compte OpenCode a également repartagé la publication.
Maya-2, un modèle vocal pour les langues indiennes, est publié avec ses poids ouverts
Maya-2, un modèle de synthèse vocale destiné à l’Inde, a été publié avec ses poids ouverts le 27 octobre sous le nom maya-research/maya2-native sur Hugging Face. L’annonce sur X indique qu’il couvre plus de 1,5 milliard de personnes dans les 28 États et les 8 territoires de l’Union.