Actualités

AlphaProof Nexus, l'IA de Google DeepMind publiée dans Science, a résolu 9 problèmes d'Erdős ouverts en combinant LLM et preuves formelles Lean.

Castlevania: Belmont's Curse sort le 15 octobre sur PS5, Xbox Series et PC : Paris en 1499, Trevor et Rose Belmont, éditions et prix du jeu de Konami.

Firefox 157 apporte la plus grande refonte visuelle du navigateur depuis des années, un mode compact, l'AV1 matériel en visio et une alerte TLS.

GitLab.com aligne ses quotas d'API sur l'abonnement dès le 19 octobre : 60 requêtes par heure sans authentification. Ce qui change et comment s'y préparer.

Rust 1.99 stabilise les fonctions variadiques extern "C", de nouvelles API mémoire et prépare la fin des outils hôtes sur Windows 32 bits.

Failles Zammad CVE-2026-102489 et CVE-2026-102490 : versions touchées, correctifs 7.2.0 et 7.2.2, et mesures à prendre pour sécuriser son helpdesk.

AMD Helion, rack ouvert pour l'IA agentique : jusqu'à 32 768 cœurs EPYC de 6e génération, GPU Instinct MI350P en option, prévu en novembre 2026.

Faille FortiMail CVE-2026-104286 : notée 9,8, exploitée selon Fortinet. Versions touchées, correctifs, contournements et indices de compromission.

IPv6 en France : 94 % des clients fixes et 83 % des clients mobiles activés fin 2025, mais seuls 38 % des sites web suivent. Le bilan de l'Arcep.