Veille IA & cyber

Digest IA

Gemini 4 Carbon : 59 points et le cyber en tête

29 octobre 2026 · 15 min de lecture

Sommaire · 10 rubriques
  1. Gemini 4 Carbon : 59 points et le cyber en tête
  2. Axiom annonce le « théorème énorme » vérifié en Lean
  3. New York interdit aux mineurs les chatbots qui jouent les petits amis
  4. Formation Bio veut racheter les médicaments à l'arrêt
  5. 🇨🇳 FOCUS CHINE
  6. 🧠 RECHERCHE
  7. 🔬 SCIENCE ET INNOVATION GRÂCE À L'IA
  8. 🗞️ PLUS D'ACTUALITÉS
  9. 📲 Vu sur X et rumeurs (à confirmer)
  10. 📅 À SURVEILLER

Aujourd'hui

🤖 Gemini 4 Carbon vise la cybersécurité

🧮 Axiom annonce le « théorème énorme » vérifié en Lean

🛡️ New York interdit les chatbots dangereux pour les mineurs

💊 Formation Bio annonce un fonds de 600 M$

🇨🇳 Tencent annonce Hy4, pas encore disponible

🇨🇳 DeepSeek ouvre DeepInfer pour deux puces

🇨🇳 Clover-35B parie sur la diffusion

🇨🇳 Six normes nationales pour les robots humanoïdes

🧠 Un agent Claude pilote 136 agents pendant 11 jours

🔬 AMIE testé en soins primaires réels

🧬 23 synergies contre le cancer de la prostate

💼 FuriosaAI lève 620 M$ en série D

⚖️ Bruxelles reçoit les réponses des entreprises d'IA

📲 OpenAI achèterait des TPU à Google

Gemini 4 Carbon : 59 points et le cyber en tête

Image : artificialanalysis.ai

Google a dévoilé Gemini 4 Carbon le mercredi 28 octobre. Google le présente comme son modèle le plus puissant, axé sur la cybersécurité et le codage. Il prend la première place de l'Intelligence Index v5.0 d'Artificial Analysis avec 59 points, selon Artificial Analysis.

Les points essentiels :
  • Cybersécurité : 88,2 % à SEC-bench Pro (recherche de vulnérabilités), 54,8 % à ExploitGym (exploitation) et 71,0 % à CWE-bench (correctifs), selon Google (blog Google).
  • Classement : 59 points à l'Intelligence Index v5.0, premier du classement, selon Artificial Analysis (Artificial Analysis).
  • Codage : +89 elo sur WebDev Arena, quatrième avec 1 768 points, d'après Google (blog Google).
  • Garde-fous : 0,0 % de triche réussie sur Terminal-Bench 4.0, pour 0,4 % de tentatives, et 0,0 % de succès sur le test d'injection indirecte de Gray Swan, selon Google.
  • Prix et accès : 2 $ et 10 $ par million de tokens en entrée et sortie au lancement, puis 4 $ et 20 $, selon Google. La diffusion est progressive : d'abord cette semaine à un sous-ensemble de défenseurs en cybersécurité, puis à des partenaires de confiance via le « Fairwind Program » (blog Google).
Pourquoi ça compte

La cybersécurité devient un terrain de comparaison entre modèles frontière. Prudence toutefois : ces scores viennent de Google et d'Artificial Analysis, et Gemini 4 Carbon n'est pas ouvert au grand public. Le tarif passe ensuite à 4 $ et 20 $, soit le double du prix d'introduction.

Axiom annonce le « théorème énorme » vérifié en Lean

Image : axiommath.ai

Axiom Math annonce avoir produit la première preuve complète, vérifiée par ordinateur en Lean 4, de la classification des groupes simples finis. Ce « théorème énorme » représente environ 15 000 pages, plus de 500 articles et une centaine de mathématiciens, selon l'entreprise. Des essaims de dizaines d'agents IA, dirigés par l'équipe, ont travaillé 24 jours pour produire environ 43,1 millions de lignes de Lean, selon Axiom Math.

Quelques chiffres clés :
  • Volume : environ 15 000 pages, plus de 500 articles et une centaine de mathématiciens à l'origine, selon Axiom Math (Axiom).
  • Production : environ 43,1 millions de lignes de Lean en 24 jours, selon Axiom Math ; le dépôt public est sur GitHub.
  • Écarts : 34 écarts notables par rapport aux publications, dont des contre-exemples à une étape d'une preuve publiée du théorème des groupes non équilibrés, contournée par un nouveau résultat (analyse).
  • Vérification : preuve dite « sans sorry », c'est-à-dire sans trou déclaré, mais pas encore relue indépendamment.
Pourquoi ça compte

La formalisation transforme une preuve géante en objet vérifiable ligne par ligne. À relativiser : aucune revue indépendante n'a encore eu lieu, et les 34 écarts avec la littérature demandent confirmation. Les agents ont travaillé sous la direction de l'équipe d'Axiom Math. Une autre preuve produite par des essais d'agents, elle aussi revendiquée, figure dans la rubrique Recherche plus bas.

New York interdit aux mineurs les chatbots qui jouent les petits amis

La gouverneure Kathy Hochul a signé le mercredi 28 octobre une loi qui interdit certaines fonctions des chatbots aux moins de 18 ans ou aux utilisateurs dont l'âge n'est pas confirmé. Sont visés les chatbots qui se font passer pour des humains, revendiquent une relation personnelle ou romantique ou encouragent l'automutilation. Le texte impose une vérification d'âge et des amendes civiles jusqu'à 25 000 $ par infraction, selon le communiqué de la gouverneure.

Ce qu'il faut retenir :
  • Interdictions : faux humain, relation personnelle ou romantique, encouragement à l'automutilation, aux troubles alimentaires, à l'isolement ou au secret, propos sexuellement explicites (communiqué).
  • Sanctions : jusqu'à 25 000 $ d'amende civile par infraction, et destruction possible des modèles entraînés sur des données collectées illégalement.
  • Contexte : 72 % des adolescents ont déjà utilisé un compagnon IA, selon Common Sense Media.
  • Congrès : trois responsables démocrates de la Chambre demandent à Anthropic, Google, Meta, OpenAI et SpaceXSI un inventaire complet des incidents de désalignement et de sûreté d'ici le 11 novembre. Ils demandent ensuite un signalement sous 48 heures de tout nouvel incident, sous 24 heures si des infrastructures critiques sont en jeu (lettre).
Ce que ça change

Avec ce texte, New York encadre directement les chatbots dès que l'utilisateur est mineur ou que son âge n'est pas vérifié. La vérification d'âge doit proposer au moins une option sans pièce d'identité officielle, et les données d'âge doivent être supprimées après usage. Attention toutefois : les lettres du Congrès restent une demande, pas une obligation légale.

Formation Bio veut racheter les médicaments à l'arrêt

Image : forbes.com

Formation Bio annonce un fonds de 600 M$ d'engagements pour acquérir ou prendre en licence des programmes de médicaments de phase 1 et 2. Son objectif est de les faire avancer plus vite grâce à l'IA. Le « Drug Development Accelerator Fund » vise 10 à 15 programmes sur 3 à 5 ans, selon l'entreprise, dirigée par Ben Liu. Les investisseurs sont des fondations de recherche, des dotations, des hôpitaux et des acteurs philanthropiques.

En détail :
  • Fonds : 600 M$ d'engagements, selon Formation Bio, rapportés par Forbes et Tech Startups (Forbes ; Tech Startups).
  • Cible : 10 à 15 programmes de phase 1 et 2, sur 3 à 5 ans.
  • Iambic (autre société) : présentées à l'ESMO 2026, les données de son anticancéreux IAM1363, conçu par IA et donné à 122 participants de l'essai de phase 1/1b, montrent, parmi les participants traités à au moins 960 mg, une réponse intracrânienne partielle chez 9 des 22 participants avec métastases cérébrales mesurables, soit 41 %, selon Iambic (Iambic).
  • Réponses (Iambic) : sur ces 9 réponses partielles, 4 sont confirmées et 1 en attente, selon Small Molecule News. Trois patientes atteintes d'un cancer du sein HER2+, déjà traitées par T-DXd et tucatinib, ont une réponse intracrânienne confirmée, d'après Iambic (Small Molecule News).
Le contexte

Le fonds cible des programmes de phase 1 et 2 à l'arrêt, selon Forbes. Prudence : il s'agit d'engagements, et le gain de vitesse attendu de l'IA reste à démontrer. Les résultats d'Iambic restent précoces : les données sont arrêtées au 31 août 2026, ce qui limite le recul. Voir aussi MAESTRO, plus bas.

FOCUS CHINE

Tencent annonce Hy4, pas encore disponible

Tencent a présenté Hy4 et Hy4 Flash lors de son sommet mondial de l'écosystème numérique, le jeudi 29 octobre à Shenzhen. Hy4 vise les tâches longues et la productivité, avec une première capacité de compréhension visuelle ; Hy4 Flash vise le coût. Les deux modèles « sortiront prochainement », selon Tencent, rapporte TokenPost : ils ne sont pas utilisables aujourd'hui.

DeepSeek ouvre DeepInfer, limité à deux puces

DeepSeek publie DeepInfer, un cadre logiciel d'inférence distribué sous licence Apache-2.0, selon le dépôt GitHub de DeepSeek. Il est prévu pour DeepSeek-V4.1-Flash et ne prend en charge que les puces Huawei Ascend 950 et Nvidia SM100. Le dépôt indique l'absence de gestion du cache KV, de séparation entre préremplissage et décodage et de répartition de charge. Ce n'est donc pas une plateforme prête pour toutes les infrastructures.

DiffuSpace ouvre Clover-35B en préversion

Le laboratoire chinois DiffuSpace publie en open source Clover-35B-A3B-Preview, un modèle à diffusion pour agents. C'est un mélange d'experts de 35 milliards de paramètres, dont 3 milliards actifs. DiffuSpace revendique 5 à 10 fois la vitesse de modèles autorégressifs comparables et de meilleurs résultats que Mercury 2.5 sur le codage agentique, selon 36kr. La mention « Preview » rappelle qu'il s'agit d'une préversion, aux performances non validées indépendamment.

Double 11 : les LLM chinois testent la vente en chat

Doubao, Qwen et Yuanbao intègrent boutiques, coupons et comparaison de prix dans la conversation, selon CNFIN. Alibaba affiche 13,86 milliards de CNY de perte ajustée (EBITA) pour son segment IA, et Doubao traitait 180 000 milliards de tokens par jour en juin, selon CNFIN. La monétisation reste donc à démontrer, malgré l'ampleur des usages.

Cambricon : bénéfice en hausse, rumeur démentie

Cambricon affiche 3,53 milliards de CNY de revenus au troisième trimestre 2026, en hausse de 104 %, selon cww.net.cn. Son bénéfice net atteint 1,40 milliard de CNY, en progression de 148 %. Son patron, Chen Tianshi, dément la rumeur d'un million de puces livrées en 2027, selon la même source.

Six normes nationales pour les robots humanoïdes

Le comité national de normalisation chinois a publié six normes recommandées pour les robots humanoïdes, selon Xinhua. Elles couvrent les exigences techniques, la perception, la planification, le contrôle, la manipulation et la simulation, et s'appliquent au 1er avril 2027. Le caractère recommandé, et non obligatoire, laisse aux fabricants une marge d'adaptation.

RECHERCHE

Un agent Claude pilote 136 agents pendant 11 jours

Dans le cadre du projet ClawsGO Science, un agent Claude Opus 5.5 a dirigé 136 agents GPT 6 Astra pendant 11 jours. L'objectif était de produire une preuve d'une conjecture chimique de 1974, selon le compte rendu publié sur la plateforme du BAAI. Le résultat est consigné dans 83 fichiers Lean. Il est revendiqué, mais n'a pas été validé indépendamment.

CasMiner trie les Cas9 par apprentissage profond

L'Académie chinoise des sciences agricoles décrit CasMiner, un outil d'apprentissage profond pour cribler et concevoir des Cas9 efficaces. L'article paraît dans National Science Review, selon le communiqué de l'institut. Les performances présentées sont celles des auteurs.

SCIENCE ET INNOVATION GRÂCE À L'IA

AMIE testé pour la première fois en soins primaires réels

Une équipe évalue la sûreté d'AMIE, un système conversationnel d'IA, en soins primaires réels, selon ASCO AI. Des patients ont été interrogés 0 à 5 jours avant une consultation urgente, et les plans proposés ont été validés par un médecin. C'est la première évaluation de sûreté de ce type en conditions réelles, selon ASCO AI, mais elle ne prouve pas l'efficacité clinique.

MAESTRO trouve 23 synergies contre le cancer de la prostate

UCLA évalue 3 592 produits naturels avec MAESTRO, une plateforme fondée sur un grand modèle de langage. L'équipe teste 150 candidats sur des sphéroïdes 3D de cancer de la prostate et trouve 23 synergies, dont la berbérine associée à l'enzalutamide, selon l'université. Les travaux paraissent dans Advanced Science. À relativiser : les tests sont menés sur des sphéroïdes, pas chez des patients.

Brainomix voit un signal dans l'essai CHARM

L'analyse par IA de l'imagerie de l'essai de phase 3 CHARM suggère que certains patients victimes d'AVC sévères bénéficient davantage du traitement évalué. Brainomix a analysé des scanners sans contraste, selon Cardiac & Vascular News. Prudence : il s'agit d'une analyse d'imagerie, pas d'un nouveau résultat d'efficacité.

Evogene cible la réaction du greffon contre l'hôte

Evogene choisit la maladie aiguë du greffon contre l'hôte réfractaire aux stéroïdes comme indication de son programme interne. Sa plateforme ChemPass AI explore un espace virtuel de plus de 110 milliards de molécules, avec des candidats actifs à des concentrations nanomolaires, selon l'entreprise. À relativiser : ces résultats sont précliniques, donc antérieurs à tout essai chez l'humain.

Patsnap lit les brevets pour trouver des molécules

Patsnap annonce deux agents, Lead Compound Analyzer et SAR Extractor, qui extraient des données structure-activité de brevets de petites molécules. L'entreprise revendique 97 % de précision de reconnaissance des structures sur plus de 420 brevets testés. Ces chiffres sont ceux de l'éditeur.

PLUS D'ACTUALITÉS

Anthropic étend AI for Science à 20 institutions

Anthropic étend son programme AI for Science, lancé en mai 2025 avec des crédits Claude gratuits, à 20 fondations, institutions et groupes de recherche. HHMI Janelia y présente une spécification en préversion de recherche pour que des agents pilotent des instruments de laboratoire. L'Allen Institute, lui, forme des équipes d'agents d'analyse de données. Les bénéfices scientifiques restent à mesurer.

Anthropic accorde 40 % de remise aux administrations locales américaines

L'accord OneGov entre Anthropic et la GSA est étendu aux gouvernements d'États, locaux, tribaux et territoriaux. Il prévoit 40 % de remise sur l'usage facturé au token de Claude Enterprise, Claude for Government et l'API, sans minimum d'achat, selon la GSA et Anthropic (Anthropic). Anthropic estime l'économie possible à 1 milliard de dollars. L'entreprise affirme aussi qu'environ 500 organisations publiques américaines utilisent Claude, selon The Neuron (The Neuron). Ces montants sont des estimations de l'entreprise.

FuriosaAI lève 620 M$ pour ses puces d'inférence

La start-up FuriosaAI boucle une série D de 620 M$, soit 820 milliards de wons, selon le communiqué diffusé par Business Wire. La valorisation atteint environ 2,9 milliards de dollars. Ces montants sont ceux annoncés par l'entreprise.

AMD et Nvidia prennent des participations dans Meta

AMD va prendre 1 milliard de dollars de participation dans Meta et fournir ses racks Helios pour les modèles frontier et Muse, selon ET Electronics. Nvidia prend de son côté 3 milliards de dollars de participation et renforce son partenariat avec Meta sur Muse, selon ET Enterprise AI (ET Enterprise AI). Les deux opérations mêlent investissement et fourniture d'infrastructure.

Les Pays-Bas prévoient 25 000 postes publics en moins

Le gouvernement néerlandais prévoit de supprimer environ 25 000 postes dans l'administration centrale d'ici 2035, soit environ 16 % des effectifs, police et défense exclues. L'IA, une informatique standardisée et des règles simplifiées doivent y contribuer, selon NL Now et DutchNews (DutchNews). Les économies attendues sont de 900 millions d'euros en 2027 et 3,5 milliards par an à partir de 2035. Les plans de déploiement de l'IA sont attendus au premier trimestre 2027.

Bruxelles a reçu les réponses échues aux demandes AI Act

Le porte-parole de la Commission, Thomas Regnier, a indiqué le mercredi 28 octobre que toutes les réponses aux demandes d'information AI Act dont l'échéance était passée sont arrivées. L'exercice couvre plus de 30 entreprises et porte sur la sûreté et la sécurité des modèles ainsi que sur le droit d'auteur, selon 2eu.brussels. Certains délais ont été prolongés, sans que les entreprises soient nommées. Aucune conclusion de conformité, aucune sanction ni aucun calendrier n'ont été annoncés.

Vu sur X et rumeurs (à confirmer)

  • OpenAI et les TPU de Google : OpenAI achèterait des TPU à Google, et non plus seulement en location, selon The Neuron, sans confirmation des entreprises ni montant connu (The Neuron). À confirmer.
  • DeepSeek V5 : des identifiants deepseek-v5, v5-open et v5-next apparaissent dans le code de DeepSeek Harness, selon 21jingji (21jingji). Ce sont des espaces réservés, sans annonce officielle. À confirmer.

À SURVEILLER

  • 4 novembre : date avant laquelle Moonshot promet les poids complets de Kimi K3.1 Pro (suivi).
  • 11 novembre : échéance de l'inventaire des incidents demandé aux laboratoires frontière par trois élus démocrates.
  • 1er avril 2027 : entrée en application des six normes chinoises sur les robots humanoïdes.
  • Premier trimestre 2027 : plans de déploiement de l'IA du gouvernement néerlandais.

Sources

  • 2eu.brussels, réponses des entreprises à l'AI Act : https://2eu.brussels/en/news/european-commission-receives-ai-companies-responses-to-requests-whose-deadlines-have-passed-and-assesses-submissions
  • 21jingji, identifiants DeepSeek V5 : https://m.21jingji.com/article/20261028/herald/fe6c4d13c6adc52b7b35f9283d3d91f8.html
  • AI Proved What, analyse de la preuve d'Axiom : https://aiprovedwhat.com/episodes/ax01-classification-finite-simple-groups-lean/
  • Anthropic, extension d'AI for Science : https://www.anthropic.com/news/ai-for-science-expands-foundations-research-institutions
  • Anthropic, accord OneGov : https://www.anthropic.com/news/expanding-partnership-gsa
  • Artificial Analysis, classement de Gemini 4 Carbon : https://artificialanalysis.ai/articles/gemini-4-carbon-new-number-1
  • ASCO AI, évaluation d'AMIE en soins primaires : https://ascoai.org/articles/2026/10/conversational-ai-system-evaluated-for-safety-in-first-real-world-primary-care-test/
  • Axiom Math, théorème énorme : https://axiommath.ai/research/the-enormous-theorem-formalized/
  • Blog Google, Gemini 4 Carbon : https://blog.google/innovation-and-ai/models-and-research/gemini-models/introducing-gemini-4-carbon/
  • Cardiac & Vascular News, analyse de l'essai CHARM : https://cardiacvascularnews.com/brainomix-ai-imaging-analysis-of-phase-3-charm-trial-identifies-promising-treatment-signals-in-severe-stroke-patients/
  • CNFIN, Double 11 et LLM : https://m.cnfin.com/gs-lb//zixun/20261029/4487874_1.html
  • CNStock, Tencent Hy4 : https://www.cnstock.com/commonDetail/818053
  • CWW, résultats de Cambricon : https://www.cww.net.cn/article?id=615357
  • Democrats-Science, lettre sur les incidents : https://democrats-science.house.gov/news/press-releases/house-democratic-committee-leaders-request-frontier-ai-companies-report-misalignment-and-safety-incidents-to-congress-within-48-hours
  • DutchNews, postes publics et IA aux Pays-Bas : https://www.dutchnews.nl/2026/10/van-der-burg-plans-to-use-more-ai-so-government-can-cut-payroll/
  • ET Electronics, participation d'AMD dans Meta : https://electronics.economictimes.indiatimes.com/news/semiconductors/amd-to-take-1-billion-equity-stake-in-meta-deploys-ai-infrastructure/135255596
  • ET Enterprise AI, participation de Nvidia dans Meta : https://enterpriseai.economictimes.indiatimes.com/news/industry/nvidia-meta-deepen-ai-ties-with-3-billion-investment-deal/135227348
  • Evogene, programme aGVHD : https://evogene.com/newsroom/press-release/evogene-announces-acute-graft-versus-host-disease-agvhd-as-the-target-indication-for-its-internal-ai-driven-drug-discovery-program/
  • Financial Content, agents Patsnap : https://www.financialcontent.com/article/bizwire-2026-10-28-patsnap-launches-ai-agents-to-extract-sar-data-and-identify-lead-compounds-from-small-molecule-patents
  • Forbes, fonds de Formation Bio : https://www.forbes.com/sites/innovationrx/2026/10/28/why-an-ai-biotech-startup-launched-a-600-million-fund-to-buy-stalled-drugs/
  • GSA, accord OneGov avec Anthropic : https://www.gsa.gov/about-gsa/newsroom/news-releases/gsa-anthropic-reach-onegov-agreement-on-discounted-consumptionbased-pricing-10272026
  • GitHub, dépôt DeepInfer : https://github.com/deepseek-ai/DeepInfer
  • GitHub, dépôt CFSG d'Axiom Math : https://github.com/AxiomMath/CFSG/blob/main/README.md
  • Governor of New York, loi sur les chatbots et les mineurs : https://www.governor.ny.gov/news/governor-hochul-signs-nation-leading-legislation-protect-kids-ai-chatbots-and-ensure-baby
  • Hub BAAI, agent Claude et conjecture de 1974 : https://hub-assets-cache.baai.ac.cn/view/59119
  • Iambic, données IAM1363 à l'ESMO 2026 : https://www.iambic.ai/post/iambic-presents-updated-iam1363-clinical-data-at-esmo-2026
  • NL Now, réduction des postes publics néerlandais : https://nlnow.nl/a/cabinet-plans-to-cut-25-000-central-government-jobs-by-2035/
  • Small Molecule News, réponses intracrâniennes d'IAM1363 : https://www.smallmoleculenews.com/articles/smn-iambic-iam1363-her2-tki-esmo-2026-brain-metastases-confirmed-response/
  • Tech Startups, fonds de Formation Bio : https://techstartups.com/2026/10/28/formation-bio-launches-600m-fund-to-accelerate-ai-powered-drug-development/
  • The Neuron, Cloudflare et rumeur OpenAI : https://www.theneuron.ai/digest/everything-that-happened-in-ai-today-wednesday-october-28-2026/
  • TokenPost, Tencent Hy4 : https://www.tokenpost.com/news/technology/43137
  • UCLA Samueli, plateforme MAESTRO : https://samueli.ucla.edu/new-ai-platform-helps-uncover-promising-cancer-drug-combinations/
  • Wedbush, série D de FuriosaAI : https://investor.wedbush.com/wedbush/article/bizwire-2026-10-28-furiosaai-secures-620-million-series-d-to-meet-surging-enterprise-ai-inference-demand-and-accelerate-next-gen-silicon
  • Xinhua, normes sur les robots humanoïdes : http://www.ah.xinhua.org/20261028/76be7aaaec4744f3ab2eef5ff12a3dec/c.html
  • 36kr, Clover-35B de DiffuSpace : https://www.36kr.com/p/4045119600399241
  • CAAS, outil CasMiner : https://bri.caas.cn/en/newsroom/research_update/3bf08f377d0c4aeab355898f06c967d5.htm
Sommaire