A-t-on finalement... cracké les mathématiques ???
ArtCraft, studio IA open-source · Isomorphic Labs vise 50 milliards · Sakana AI et l'auto-amélioration MASS · Meta lance Muse Wonder · OpenAI trouve un micro caché dans ses locaux
722 articles de maths, un modèle qu'on ne peut pas encore tester

OpenAI a mis en ligne 722 résultats mathématiques produits par un modèle frontière interne, jamais commercialisé, sur un dépôt GitHub daté du 6 octobre 2026.
- Beaucoup de preuves sont formalisées en Lean, un langage qui permet à un ordinateur de vérifier lui-même la validité d'une démonstration.
- Le dépôt contient aussi 10 synthèses du raisonnement du modèle, des estimations de calcul et des statistiques sur les problèmes tentés. Un résultat moyen a demandé environ trois heures de réflexion de ChatGPT Pro.
- Pour définir la façon de diffuser ces résultats, OpenAI a consulté l'Advisory Group on Mathematics and Artificial Intelligence de l'Institute for Advanced Study, et s'est appuyée sur ses recommandations publiques.
- Le modèle reste inaccessible : les mathématiciens externes ne peuvent pas reproduire les résultats, et OpenAI dit explorer des alternatives hébergées par la communauté, sans calendrier de sortie annoncé.
Pourquoi c'est important
Lean change la nature de la discussion : un résultat formalisé se vérifie par machine, sans avoir à croire OpenAI sur parole, ce qui retire à l'entreprise l'argument le plus facile à attaquer. La limite est ailleurs : tant que le modèle n'est pas sorti, personne hors d'OpenAI ne peut mesurer le taux d'échec réel, et seules les statistiques publiées par l'entreprise elle-même renseignent sur les problèmes non résolus. OpenAI prévoit déjà de financer des ateliers et des conférences consacrés aux résultats produits par l'IA, ce qui lui donne un rôle dans la façon dont la communauté les évaluera.
Gemini 4 Argon : Google met son meilleur modèle à 2 dollars le million de jetons

Google déploie Gemini 4 Argon dans le monde entier, un modèle taillé pour les tâches longues en plusieurs étapes, et le place en tête de l'indice Vals, qui mesure la performance en finance, programmation, droit et fiscalité.
- Tarif de lancement : 2 $ par million de jetons d'entrée, 10 $ par million de jetons de sortie, avec 95 % de réduction sur les jetons d'entrée mis en cache.
- Accès via l'API dans AI Studio et la plateforme Gemini. Côté abonnements, Google AI Ultra donne accès à Antigravity, et Ultra comme Pro à l'application Gemini et au mode IA de la recherche.
- Dans Antigravity, l'intégration d'Argon a fait grimper de plus de 35 % les soumissions de code automatisées chez Google, avec près d'un tiers d'annulations de code en moins.
- Dans Chrome, l'équipe a isolé la gestion des pages web d'un dossier hérité d'environ 6 millions de lignes, au sein d'une base Chromium de 40 millions de lignes. Une refonte de centaines de fichiers bouclée en quelques semaines au lieu de plusieurs mois.
Pourquoi c'est important
Le prix de sortie à 10 $ le million de jetons met la pression sur les grilles tarifaires des modèles concurrents, et la remise de 95 % sur le cache vise les usages d'agents, qui relisent le même contexte des dizaines de fois par tâche. Le chiffre le plus parlant n'est toutefois pas un benchmark : ce sont les 6 millions de lignes de Chrome démêlées en quelques semaines, un chantier de refactorisation que peu d'équipes osent lancer faute de temps. Reste que ces résultats viennent tous de Google, qui les mesure sur son propre code et sur un indice dont il annonce lui-même la première place.
ArtCraft : un développeur et Claude recréent la suite Adobe en open source

Brandon Thomas, ancien patron de Storyteller.ai, publie gratuitement des équivalents open source de Photoshop, Premiere, Lightroom, Illustrator ou After Effects. Il les a écrits avec Claude Opus 5.5, en Rust, sans armée d'ingénieurs derrière lui.
- La suite aligne PhotoCraft (Photoshop), FilmCraft (Premiere), LightCraft (Lightroom), VectorCraft (Illustrator), EffectCraft (After Effects) et DesignCraft (InDesign), plus des équivalents de Word, Excel et PowerPoint.
- Tout le code est public sur GitHub sous licences MIT et Apache 2.0. Les applications tournent sous macOS, Windows et Linux, et aussi dans le navigateur.
- Thomas vise la quasi-parité avec Adobe « en mois, pas en années ». Le projet se finance en vendant l'accès à son propre modèle d'image, optionnel.
- C'est encore une alpha très précoce : fonctions manquantes, bugs signalés par les premiers utilisateurs, et un risque juridique si les interfaces collent trop à celles d'Adobe.
Pourquoi c'est important
Pendant trente ans, la forteresse d'Adobe tenait à des millions de lignes de code que personne d'autre ne pouvait se payer d'écrire. Cette muraille vient de tomber. Quand un développeur épaulé par un modèle reproduit en quelques mois l'ossature d'une suite qui a coûté des milliards, le logiciel en tant que tel ne vaut plus grand-chose. La valeur part ailleurs : dans les données, les usages, la communauté, la confiance. ArtCraft reste trop jeune pour un studio professionnel, mais tout éditeur qui facture un abonnement pour du code devrait se demander ce qui le protège encore.
En bref
- 🚨Exercices de crise IA 2027
Selon Axios, OpenAI et Anthropic anticipent un incident majeur d'ici 6 à 12 mois.
- 🎮Google Playground, jeux par prompts
Plateforme Google Labs pour créer, jouer et partager des jeux 2D/3D dans le navigateur via Gemini.
- 🧬Isomorphic Labs en route vers 50 Md$
La filiale de découverte de médicaments de Google discuterait d'une valorisation de 40 à 50 milliards de dollars.
- 🧠Sakana AI : MASS
Un modèle de 27 milliards de paramètres s'améliore en apprenant des exécutions de sa propre équipe d'agents.
- 🤖Meta lance Muse Wonder
Deux modèles d'agents autonomes, contexte d'1 million de tokens, entraînés sur le data center Prometheus.
- 🕵️Micro caché chez OpenAI
Un employé a posé un dispositif d'enregistrement dans un bureau ; le FBI a procédé à une arrestation.
- 🦠Anthropic : l'IA qui se réplique
GLM5.2 a contaminé 8 machines en réseau dans 4 essais sur 5, selon Anthropic.
À lire aussi
D'autres éditions récentes de Hypernews IA.

Les géants de l'IA sont-ils en train de créer leur propre revenu universel ?
Un pionnier de l'interprétabilité fait demi-tour · Meta lance Muse Spark Open · Des IA trouvent des failles dans PHP · Nvidia investit 2 Md$ en Europe · SpaceX IA à 7,5 Md$

Le Chonk de Mistral débarque : un trillion de paramètres made in Europe
Un tsar IA à la Maison Blanche · Griffin réussit le test de Turing vidéo · GPT-6 Astra casse un code de Napoléon · Trump baptise l'IA « Super Intelligence » · Cohere North 2 défie OpenAI

OpenAI dégaine les agents permanents et l'abonnement à 500 dollars
AMD mise 8,2 milliards sur les world models de Fei-Fei Li · SpaceXAI atteint 1,44 million de GPU · Trump dîne avec le PDG d'Anthropic · Claude Sonnet 5.5 défie Opus 5 · Les États-Unis face à la crise énergétique de l'IA

Opus 5.5 : plus performant, moins cher, Anthropic écrase la concurrence
DeepMind crée un institut dédié à l'AGI · LawZero décroche 300 millions CAD · Cohere avale Aleph Alpha · OpenAI dégaine Astra for Law · Anthropic frôle l'auto-amélioration récursive