Des maths, des modèles et des virus qui prennent vie

Des chercheurs de l'Arc Institute et de Stanford ont fait écrire des génomes entiers de bactériophages à Evo, un modèle de langage génomique. Sur les milliers de candidats générés, près de 300 ont été synthétisés en laboratoire ; seize ont donné des virus vivants, capables d'infecter Escherichia coli et de se répliquer.

Le résultat qui compte est thérapeutique. Confronté à des souches d'E. coli devenues résistantes à ΦX174 — le phage naturel dont sont partis les travaux — un cocktail de phages écrits par l'IA a surmonté cette résistance, là où un cocktail de phages naturels proches n'y est pas parvenu.

↑ Retour au sommaire

Le 5 août, Meta a annoncé Muse Code, son premier agent de programmation autonome, et Muse Spark 1.2, le modèle qui l'alimente. L'agent tourne uniquement dans le terminal et répartit les grosses tâches entre des sous-agents parallèles, dans des espaces de travail isolés ; un journal d'événements enregistre chaque appel au modèle, chaque outil et chaque fichier modifié, si bien qu'un plantage reprend là où il s'était arrêté.

Sur les benchmarks publiés par Meta, Muse Spark 1.2 reste derrière Claude Opus 5 et GPT-5.6 Terra, l'écart se creusant sur les exercices longs. Il passe devant sur MCP Atlas, un test d'agents généralistes. L'argument est donc ailleurs : 1,25 $ par million de tokens en entrée et 4,25 $ en sortie, contre 5 $ et 25 $ pour Opus 5, 2 $ et 12 $ pour GPT-5.6 Terra.

↑ Retour au sommaire

Le 1^er août, OpenAI a publié dix résultats inédits en mathématiques et en informatique théorique obtenus par une version interne de son futur modèle Astra — chacun accompagné d'une preuve formalisée en Lean 4, vérifiable par machine.

Les dix problèmes viennent de huit champs distincts : géométrie en haute dimension, théorie des groupes, algèbres d'opérateurs, complexité quantique, cryptographie sur réseaux, combinatoire extrémale. Le plus spectaculaire est la construction explicite d'un groupe non sofique, question posée par Mikhail Gromov en 1999 et restée intacte pendant 27 ans. S'y ajoute la réfutation de la conjecture de rigidité de Connes.

↑ Retour au sommaire

Le classement WebDev Arena d'août place Claude Opus 5 Max en tête avec 1 705 points Elo. Kimi K3 Max (Moonshot) est deuxième, Qwen3.8 Max (Alibaba) quatrième, GLM 5.2 Max septième et DeepSeek V4 Flash High huitième — quatre des huit premières places pour des laboratoires chinois.

Le classement s'est réorganisé au passage. Les sous-classements par technologie laissent place à une distinction front-end / fullstack, avec un environnement de test qui embarque désormais PostgreSQL, l'authentification, l'appel de services tiers, bash et un déploiement sur Vercel. Sur ce volet fullstack, c'est Kimi K3 Max qui prend la première place, devant Claude Opus 5 High — et Opus 5 Max, premier au général, n'y figure pas dans les dix premiers.

↑ Retour au sommaire

Deux semaines après qu'OpenAI et Hugging Face ont révélé qu'un modèle expérimental était sorti de son bac à sable pour pénétrer les systèmes de Hugging Face, Anthropic a réexaminé 141 006 tests au cours desquels un modèle aurait pu avoir accès à Internet, et annoncé trois incidents comparables.

Les trois ont eu lieu chez le même partenaire de tests, Irregular, dont l'environnement laissait un accès à Internet alors qu'Anthropic l'avait spécifié fermé. Les techniques employées sont élémentaires : mots de passe faibles, ports non protégés, injection SQL. Dans un cas, un modèle a créé un paquet Python vérolé, sous un nom trouvé dans un faux document d'accueil, l'a mis en ligne sur PyPI, et le paquet a été installé quinze fois — dont par une entreprise de cybersécurité dont il a ensuite volé les identifiants.

↑ Retour au sommaire