Tech
Page 163 / 1246
Lean formalise une borne de lacune de nombres premiers à 186
Contexte et objectifLe dépôt PrimeGaps186 propose une formalisation en Lean 4 d’une borne sur les écarts entre nombres premiers, spécifiquement...
OpenAI, Anthropic, xAI et Google subissent une interruption simultanée de leurs IA
Contexte et chronologieJeudi matin, quatre fournisseurs de modèles d'IA basés sur le cloud ont connu des interruptions qui se sont chevauchées....
Spi-Fly reproduit l'olfaction du drosophile pour un nez électronique persistant
Contexte biologiqueLe cerveau du Drosophila melanogaster compte environ 140 000 neurones, soit moins d’un grain de pavot, mais il gère une palette...
Jersey sollicite la Cour suprême pour classer les paris Kalshi comme jeux
Contexte juridique des paris sportifs aux États‑UnisLe marché américain des paris sportifs représente plusieurs milliards de dollars et repose...
Le sénateur américain demande à la NSA d'orienter l'usage des VPN
Contexte politiqueLe sénateur Ron Wyden (D‑Oregon) a adressé une lettre au directeur de la NSA, le général Joshua Rudd, pour obtenir des...
Realta Fusion conclut un accord de 200 MW avec Madison Gas
Contexte du partenariatRealta Fusion a signé cette semaine un accord avec Madison Gas and Electric (MG&E) pour installer l’une des premières...
Thinking Machines lève 1 milliard de dollars à 40 milliards d’évaluation
PrésentationThinking Machines, laboratoire d’intelligence artificielle créé début 2025 par Mira Murati, ancienne directrice technique d’OpenAI,...
Tesla lance le Cybercab, un robotaxi sans volant ni pédales
Présentation du CybercabLe Cybercab est un petit sedan bicolore, deux places, dépourvu de volant et de pédales. Il s’appuie exclusivement sur une...
Astra adopte une architecture récurrente : analyse des préoccupations
ContexteL’article original n’est pas disponible, ce qui empêche d’accéder aux détails techniques fournis par les auteurs. Aucun chiffre, version...
Distillation réduit le nombre d’étapes de diffusion des modèles
Principe de la diffusionLes modèles de diffusion décomposent la génération d’échantillons d’une distribution haute dimension en une suite de...
OpenAI déploie progressivement GPT‑6 Astra
Annonce et calendrierOpenAI a annoncé le lancement progressif de GPT‑6 Astra au cours du troisième trimestre 2026. La société indique que la mise...
Cerebras déploie Qwen 3.8 27B à 1500 toks/s
Présentation du modèleLe modèle Qwen 3.8 27B, issu de la famille Qwen développée par Alibaba, compte 27 milliards de paramètres. Cerebras l’a...
Samsung Q990F Soundbar bénéficie d’une remise Labor Day de 600 $
Présentation du produitLe Samsung Q990F est proposé à 999,99 $, alors que son prix habituel oscille entre 1 300 $ et 1 600 $. Le kit comprend une...
TikTok annule participation à une table ronde sur la sécurité des enfants
Contexte politiqueLe 27 août, le comité sélectif de la Chambre sur la Chine, présidé par le représentant John Moolenaar (R‑MI), a annoncé que...
Meta propose un tarif réduit pour collecter les usages de Muse Spark
Contexte et modèle tarifaireMeta commercialise le modèle d’IA Muse Spark, destiné aux agents de codage et à d’autres tâches automatisées. Le prix...
Abliteration.ai commercialise la suppression des garde-fous sur GLM‑5.3
Contexte et objectif Fondée à la fin de l'année 2025 et officiellement incorporée en mars 2026, Abliteration.ai propose un service hébergé qui...
Supermicro déploie architecture de stockage à deux niveaux pour accélérer l’IA d’entreprise
Contexte et enjeuxLes dirigeants d’AMD, Supermicro et Nutanix soulignent que le modèle d’IA est désormais une commodité ; la vraie valeur réside...
Portage d'un jeu Amiga 1993 vers Godot 4 grâce à un LLM
Contexte technique de l’Amiga 500Le titre original, Babylonian Twins, tournait sur un Amiga 500 doté de 512 KB de RAM, d’un processeur Motorola...
Venture capital se transforme en Cancer Capital, un oligopole financier
Contexte et évolution du financement VCLe capital-risque était historiquement une petite fraction du marché des capitaux, destiné à financer des...
Gooseworks déploie des agents IA pour automatiser la création publicitaire
Contexte et objectifsGooseworks, start‑up issue du programme Y Combinator (cohorte W23), propose de remplacer l’armée humaine qui teste, mesure et...
Restez informé
Recevez l'essentiel de l'actualité tech, résumé et traduit en français par notre IA.