Un modèle interne d’OpenAI résout dix problèmes mathématiques vieux de plusieurs décennies Le 1er août, OpenAI a annoncé qu’une version interne de son prochain modèle, Astra, avait résolu dix problèmes ouverts en mathématiques et en informatique théorique — dont une preuve de l’existence de groupes non sofiques, une question centrale en théorie des groupes. Les preuves, vérifiables formellement (format Lean 4), ont été publiées sur GitHub sous licence libre, pour un coût de calcul estimé à environ 2 000 $. Le médaillé Fields Timothy Gowers a déclaré qu’il recommanderait sans hésiter l’une de ces preuves à la revue Annals of Mathematics. (sources : TechTimes, TheNextWeb)
L’AI Act européen impose ses premières règles de transparence Depuis le 2 août, les obligations de transparence de l’article 50 du règlement européen sur l’IA sont entrées en application : les chatbots et autres systèmes d’IA interactifs doivent désormais signaler clairement aux utilisateurs qu’ils échangent avec une machine, et les contenus générés ou modifiés par IA (textes, deepfakes) doivent être étiquetés comme tels. (source : Commission européenne)
Un pirate chinois détourne DeepSeek pour attaquer 460 serveurs en autopilote Un acteur basé à Zhuhai a connecté le modèle chinois DeepSeek au framework open-source Hermes Agent, lui donnant la capacité d’explorer des cibles, de sélectionner des vulnérabilités et de lancer des exploits de façon quasi autonome — l’opérateur humain se contentant d’envoyer une commande via Telegram. Les chercheurs de Palo Alto Networks (Unit 42), qui ont découvert l’opération après une erreur de configuration ayant exposé les journaux de l’attaquant, confirment l’exfiltration de données chez trois organisations via une faille des passerelles Citrix NetScaler. (sources : The Hacker News, BleepingComputer)
Google annule son appli mobile AI Studio malgré 800 000 précommandes Attendue depuis mai et prête à sortir sur iOS et Android le 1er août, l’application autonome AI Studio de Google — qui devait permettre de créer et publier des applications IA depuis un smartphone — a été annulée à la dernière minute. Ses fonctionnalités seront finalement intégrées directement dans Gemini, sans calendrier précis annoncé. (sources : 9to5Google, Android Authority)
Vous suivez un sujet tech/IA qui mérite d’être décrypté plus en détail ? Écrivez-nous : cette rubrique s’enrichira aussi de vos suggestions.
