722 manuscrits de mathématiques d'un modèle inconnu : la recherche devient parallèle

722 manuscrits et 372 familles de résultats

Le titre de la semaine tient en une phrase : OpenAI a sondé environ 4 000 problèmes de recherche en mathématiques avec un modèle frontière sans nom et publié les 722 manuscrits obtenus sous forme de 372 familles de résultats . L'animateur y voit le premier grand aperçu du modèle non publié ; le nom de Bel qui circule reste non confirmé. L'échelle à elle seule interpelle : un seul modèle, en un seul geste, a produit autant de texte qu'un département de mathématiques en plusieurs années.

Le premier récit détaillé est venu de ScientificAmerican : selon la revue, une part importante des résultats a passé la vérification Lean , c'est-à-dire que le squelette logique des preuves est contrôlé par machine. Cette vague arrive juste après le résultat Navier-Stokes d'OpenAI un mois plus tôt, une atmosphère que la revue résume comme des centaines de résultats s'abattant sur un domaine déjà sous le choc. OpenAI a aussi consulté l'entourage de l'Institute for Advanced Study ainsi que des groupes consultatifs indépendants en mathématiques et en IA sur la manière de partager ces résultats.

NewScientist fournit le cadre pour comprendre l'échelle : la revue rappelle la trajectoire qui mène de modèles peinant sur des mathématiques de lycée en 2019 aux mathématiques de frontière en quelques années. Cette fois l'accent est sur l'étendue plutôt que la profondeur, et l'annonce de centaines de découvertes en un jour a suscité à la fois admiration et perplexité dans le milieu académique. Selon NewScientist, les mathématiciens auront besoin de plusieurs mois pour déterminer si les preuves portent des idées vraiment neuves ou si elles recyclent des techniques existantes. Cette prudence devrait accompagner le reste des lectures de la semaine.

Le point structurel de l'animateur va plus loin : l'enjeu n'est pas un théorème isolé, mais la recherche elle-même qui devient parallélisable . Au lieu d'un mathématicien sondant une direction pendant des mois, des milliers de directions peuvent être explorées à la fois. La chaîne est connue : les mathématiques nourrissent la physique, la physique nourrit l'ingénierie, et l'ingénierie nourrit puces, énergie, matériaux et médecine. À mesure que l'IA aide à découvrir de meilleurs algorithmes, architectures et infrastructures, cette aide revient sous forme de meilleure IA. Cette boucle explique pourquoi le nombre 722 dépasse la curiosité.

Deuxième jour du marathon des 28 jours

Cette vague mathématique coïncide avec le deuxième jour du pari d'OpenAI : publier une nouveauté chaque jour pendant 28 jours. Selon le récapitulatif d'AIReport, le paquet du jour compte quatre éléments : la révision automatique devient gratuite pour tous les utilisateurs de ChatGPT et ne consomme plus de quota ; les paliers développeurs passent de cinq à trois (construire, lancer, grandir), et le seuil du palier supérieur tombe de 1 000 $ à 500 $ de paiements cumulés. Une fonction gourmande en quota qui devient gratuite, c'est une baisse de coût directe pour quiconque fait tourner des agents au long cours.

L'autre moitié du paquet concerne les réunions et l'infrastructure de décision. Une nouvelle extension réunions pour ChatGPT prend des notes pendant les appels, produit des résumés personnalisés avec prochaines étapes et enregistre tout dans l'espace ChatGPT ; combinée à la fonction mémoire, ces notes peuvent alimenter plans de projet et agents logiciels. Quatrième élément : l'API de décisions propulsée par Luna entre en bêta publique. Selon AIReport, la règle du marathon est sévère : tout jour sans livraison déclenche une réinitialisation complète des quotas pour tout le monde.

Accès cyber à trois niveaux et offensive européenne du poids ouvert

Côté Anthropic, la nouvelle de la semaine est l'élargissement du programme de vérification cyber. Selon l'annonce d'Anthropic, le programme compte désormais trois niveaux d'accès : un niveau défense couvrant réponse aux incidents, analyse de maliciels et recherche de vulnérabilités ; un niveau équipe rouge ouvert aux tests d'intrusion autorisés ; et un niveau spécialisé accordant des capacités élargies aux organisations passant un examen de sécurité approfondi. Opus 5.5, Sonnet 5.5 et Mythos 5.1 sont accessibles via ces niveaux, tandis que les modèles publics continuent sous les mêmes protections. Les candidatures sont ouvertes.

L'Europe signe l'annonce de poids ouvert la plus audacieuse de la semaine : Mistral a mis Large 4 (surnom Le Chonk) en aperçu public. Selon la note technique de Mistral, le modèle porte 1 000 milliards de paramètres mais n'en active que 49 milliards par étape grâce à sa conception en mélange d'experts ; il a été développé de bout en bout en Europe et servi depuis le propre nuage européen de l'entreprise. Traitant texte, code, image et audio dans une seule architecture, ses poids sont attendus fin octobre tandis que l'API d'aperçu est utilisable dès aujourd'hui. Pour les entreprises européennes, des données restant sur le continent : voilà le point fort de l'annonce.

Le récit des coulisses de VentureBeat chiffre aussi l'échelle : le modèle a été entraîné de zéro en deux mois environ sur 4 000 accélérateurs dans les propres centres de données de l'entreprise et couvre plus de 160 langues. L'entreprise revendique les meilleurs résultats parmi les modèles ouverts sur les charges d'entreprise comme la cybersécurité et la fabrication, et mieux que les modèles frontières fermés sur l' ancrage visuel . La pièce la plus frappante est un essai de rétro-ingénierie : le modèle a identifié comme Cobalt Strike un échantillon de maliciel jamais vu et produit un rapport d'enquête complet avec vidage de configuration, indicateurs de compromission et règle Yara ; selon VentureBeat, un travail occupant normalement un chercheur pendant une journée s'est achevé en 12 minutes.

Le banc d'essai maison de l'animateur, WoAI Bench, apporte un bémol : Large 4 bat GPT-6 Luna sur les tâches de domaine comme le génie logiciel et les tests d'agents, mais reste derrière le même modèle en vitesse et en efficacité. Le verdict est franc : ralenti par son processus de raisonnement, ce modèle n'est pas un compagnon quotidien mais un candidat pour les lourdes tâches de domaine comme la cybersécurité et le travail de connaissance. Une conception nativement multimodale et une fenêtre de contexte d'un million d'entrées appuient ce verdict.

Le front Google et les notes logicielles de la semaine

Côté Google, le front de la génération d'images bouge : Nano Banana 2.1 a été annoncé comme une mise à niveau dépassant ses prédécesseurs sur tous les tableaux. La fiche modèle de DeepMind place Nano Banana 2.1 dans la famille Gemini 3 ; il comprend conjointement les entrées texte et image, produit des sorties image et texte, et prend en charge une fenêtre de contexte d'un million d'entrées. Alors que la course à la qualité s'accélère dans la génération d'images, les plus grands gains de cette version se concentrent sur le domaine visuel ; les mesures détaillées figurent sur la page de DeepMind.

Le geste discret mais important côté embeddings est EmbeddingGemma 2 : 740 millions de paramètres seulement, mappant texte, code, images, audio et vidéo dans un espace partagé, conçu pour tourner sur téléphones et ordinateurs. Selon Digit, le modèle a ouvert ses poids sous licence Apache 2.0. Un essai en conditions réelles partagé par l'animateur confirme l'affirmation : 300 photos d'animaux de 30 espèces indexées sur DGX Spark et 200 requêtes de similarité sur 20 images distinctes ; le modèle atteint 165 appariements corrects, soit 82,5 % de précision, avec un 10-sur-10 parfait sur zèbres et pandas mais des difficultés sur chevaux et léopards.

Deux notes côté logiciels. D'abord Claude Code 2.1.292 : selon la synthèse des notes de version par PromTime, un paramètre d'effort sur l'outil agent permet de régler la réflexion de chaque sous- agent séparément, tandis que les serveurs de protocole locaux parlent désormais par défaut le protocole 2026-07-28. Un modèle furtif accessible gratuitement dans OpenCode fait aussi parler ; l'animateur en réserve les détails pour une prochaine vidéo. Ensuite, côté monde ouvert : un développeur annonce avoir recréé sept grandes applications Adobe, Photoshop inclus, comme alternatives libres écrites en Rust ; Photocraft, le pendant de Photoshop, atteindrait 90 % des capacités de l'original dès sa première version. Le dépôt GitHub du projet est public, même si le développeur concède que ces versions ne sont pas encore prêtes à remplacer Adobe au quotidien professionnel.