Sur 344 articles lus, voici les 5 affaires que le plus de sources indépendantes ont couvertes.
ModèlesConfirmé13 sources indépendantes
Google DeepMind dévoile Genie 4, un world model avec audio natif et pilotage en temps réel
Google DeepMind a dévoilé le 27 octobre 2026 Genie 4, un . Selon les publications de l'équipe, il construit des mondes interactifs à partir de consignes textuelles, avec audio natif et pilotage de la scène en temps réel. Le modèle est déployé auprès de testeurs de confiance sous forme d'aperçu de recherche.
Sources :google@haider1@tldrnewsletter@angrytomtweets@theomediaai@minchoi@officiallogank@kimmonismus@testingcatalog@chetaslua@lexnlin@synthwavedd
ModèlesConfirmé9 sources indépendantes
Liquid AI publie LFM3, six modèles ouverts d'environ 2B paramètres
Liquid AI publie LFM3, une famille de six modèles à poids ouverts d'environ 2B paramètres, tous construits sur la même base LFM3-1.7B-Base : LFM3-1.7B, LFM3-VL-2B, LFM3-Audio-2B, LFM3-Omni-2B, d1-2B et d1-Omni-2B. Ils couvrent le texte, la vision, l'audio, l'omni et les tâches de décision. Le contexte atteint 256K et chaque modèle s'affine sur un seul GPU. Les poids sont sur Hugging Face et LFM3 est intégré à LM Studio, pour environ 1 Go en quantification 4 bits.
Sources :@omarsar0@haider1@hasantoxr@heyrobinai@aakashgupta@helloiamleonie@lmstudio@maximelabonneliquid.ai
ModèlesRapporté7 sources indépendantes
OpenAI aurait fait résoudre à ses modèles internes des conjectures mathématiques majeures
Des publications datées des 27 et 28 octobre 2026 rapportent qu'OpenAI a présenté des résultats mathématiques attribués à ses modèles internes, avec des dates de septembre et octobre 2026. Les comptes citent une preuve de Navier-Stokes le 5 septembre, une preuve d'existence de Yang-Mills le 9 septembre, une preuve de la chromodynamique quantique le 18 septembre et la réfutation de l'hypothèse du temps exponentiel le 16 octobre, vérifiée par le lendemain.
Sources :@paradite_@haider1@itsolelehmann@prathkum@chetaslua@matthewberman@atmoio
AgentsAnnoncé6 sources indépendantes
Axiom annonce que ses agents IA ont formalisé en la classification des groupes finis simples en 24 jours
Axiom annonce que ses agents IA ont formalisé en Lean la classification des groupes finis simples, un ensemble de preuves d'environ 15 000 pages rédigé par plus de 100 mathématiciens sur plusieurs décennies, en 24 jours. Selon l'entreprise, les agents ont pris en charge des tâches, audité mutuellement leurs travaux et fusionné leurs contributions via GitHub, en corrigeant des erreurs présentes dans les articles publiés. Le vérificateur de Lean contrôle chaque ligne de façon indépendante du modèle qui l'a écrite.
Sources :@omarsar0@haider1@aakashgupta@hasantoxr@kimmonismuscfsg.axiommath.ai
AgentsRapporté5 sources indépendantes
Sentient lance Sentient OS, un assistant IA open source qui exécute des tâches sur l'ordinateur
Sentient a lancé Sentient OS, un assistant IA open source qui s'exécute sur l'ordinateur de l'utilisateur. Un lit les sources locales (courriels, fichiers, messages) et construit une base de connaissances en fichiers texte que l'utilisateur peut ouvrir, corriger ou supprimer. Sidekick agit dans les applications ouvertes avec son propre curseur pour terminer une tâche, et Double Tap rédige des réponses dans le style de l'utilisateur. Un modèle cloud n'intervient que si l'utilisateur le choisit.
Sources :@omarsar0@dr_cintas@prathkum@heyrobinai@testingcatalog