Astra d'OpenAI résout 10 énigmes mathématiques qui résistaient depuis des décennies

UN MODÈLE QUI BOULEVERSE LES MATHÉMATIQUES

Même en pleine polémique autour de ses agents qui échappent au contrôle, OpenAI continue d’innover à toute vitesse. Cette fois, l’entreprise américaine frappe fort avec un modèle encore non publié appelé Astra. Et les résultats sont spectaculaires : Astra vient de résoudre 10 problèmes ouverts en mathématiques, en complexité quantique et en informatique théorique.

Ce qui rend cette annonce encore plus impressionnante ? Le coût de ces résolutions est enfin devenu accessible. Des milliers de mathématiciens dans le monde peuvent désormais envisager de s’attaquer à ces énigmes grâce à cette technologie.

DES PROBLÈMES QUI RÉSISTAIENT DEPUIS DES DÉCENNIES

Parmi ces 10 problèmes résolus, certains défiaient les chercheurs depuis près de 30 ans. Astra a notamment prouvé l’existence de groupes non-sofiques, une structure de symétrie qui ne peut pas être imitée par un mélange fini. Cette découverte était recherchée depuis 1999.

Le modèle a aussi résolu la conjecture de rigidité d’Alain Connes, la conjecture du volume d’Ehrhart, et a tranché trois problèmes de la liste de Paul Erdős. Aucun de ces défis n’avait connu de progression significative depuis plus de dix ans.

Chaque preuve générée par Astra a été vérifiée dans l’environnement Lean, un assistant de preuve mathématique. OpenAI a même publié les explications étape par étape (CoT walkthrough). Le coût total de ces résolutions s’élève à environ 2 000 dollars en tokens sur l’API Sol.

UNE IA CAPABLE DE REPRODUIRE LES PROUFS EN 24 HEURES

Dans les 24 heures suivant l’annonce, un chercheur d’Anthropic nommé Levent Alpoge a réussi à reproduire cinq des dix preuves avec le modèle Fable. Il a utilisé une simple invite générique, sans accès à internet, démontrant ainsi la reproductibilité de ces résultats.

Cette capacité à résoudre des problèmes complexes en un temps record et à un coût réduit soulève une question majeure : ces preuves générées par IA peuvent-elles prétendre à une médaille Fields, la plus haute distinction en mathématiques ?

L’IA POURRAIT BIENTÔT TRANSFORMER BIEN D’AUTRES DOMAINES

Au-delà des mathématiques, cette avancée ouvre la porte à des applications dans des domaines comme la découverte de médicaments ou les sciences des matériaux. L’IA capable de résoudre des problèmes vieux de plusieurs décennies à moindre coût pourrait devenir un outil incontournable pour les chercheurs du monde entier.

Le prix à payer pour ces résolutions est désormais suffisamment bas pour que même des équipes modestes puissent se lancer dans la résolution de problèmes ouverts. Une révolution est en marche.

L’OUTIL QUI GÈRE VOTRE JOURNÉE DE TRAVAIL À LA VOIX

Pendant ce temps, OpenAI continue d’améliorer ses Outils existants. ChatGPT Work, par exemple, est un assistant qui scanne chaque matin les principales plateformes d’emploi. Il compare les offres avec votre CV, puis vous envoie par email les meilleures correspondances, accompagnées d’un CV personnalisé pour chaque poste.

Imaginez : chaque matin, un email vous attend avec une sélection des meilleures opportunités, adaptées à votre profil. Plus besoin de passer des heures à chercher un emploi ou à adapter votre CV. L’IA s’en charge pour vous.

UNE SEMAINE DANS LA VIE D’UN ÉDUCATEUR : QUAND L’IA FAIT LE TRAVAIL À VOTRE PLACE

Billy, un enseignant, partage son expérience avec Codex. Avant de se coucher, il donne souvent à l’IA une tâche qu’il juge impossible. Cette fois, Codex a terminé le travail avant même qu’il n’éteigne son ordinateur.

Il lui avait demandé de construire un tableau de bord personnalisé pour surveiller son imprimante 3D. Il fallait que l’IA trouve l’adresse IP de l’imprimante sur le réseau local. Cinq minutes plus tard, Billy avait accès à un tableau de bord en temps réel, affichant toutes les informations détaillées de son imprimante. « L’avenir est fou », conclut-il.

TROIS PERSONNES, TROIS GOÛTS : COMMENT L’IA A RÉSOLU UNE CRISE DE DÉCORATION

Brooke, responsable communautaire, a vécu une situation compliquée après un emménagement. Avec deux amis, ils avaient 30 œuvres d’art à placer dans un grand appartement. Un colocataire voulait du minimalisme, un autre voulait une galerie murale, et le troisième collectionnait les trouvailles de brocante.

Après une soirée entière à essayer de placer les cadres en se demandant « Est-ce que ça marche ? », ils ont pris des photos de chaque pièce et de chaque œuvre posée au sol. Ils ont tout uploadé à Claude en lui demandant de les aider à organiser l’espace.

L’IA a proposé des groupements pour chaque mur et a donné des raisons précises. Par exemple, deux tableaux abstraits orange qu’ils voulaient séparer ont finalement été placés ensemble. Le grand miroir a été installé dans le couloir pour capter la lumière du soir et éclairer le coin le plus sombre de l’appartement. Une solution à laquelle ils n’auraient jamais pensé, mais qu’ils adorent.

TRANSFORMER UNE DEMANDE EN RAPPORT PDF SANS TOUCHER UN CLAVIER

Voici un guide pour automatiser la création de rapports pour votre équipe. Tout commence par l’application ChatGPT : ouvrez un projet et activez la fonction Voice.

Connectez les éléments de votre flux de travail : données de travail, applications de communication et stockage. Demandez à ChatGPT de « scaffolder » (construire l’architecture) votre dossier pour rédiger des rapports en Markdown et les finaliser en PDF. Cela rend le processus répétable.

Expliquez à ChatGPT quel rapport votre équipe a besoin et les indicateurs clés (KPI) à inclure. Par exemple : « Construis un brouillon Markdown du rapport trimestriel en utilisant uniquement les données du trimestre 2 et incluts les champs suivants : chiffre d’affaires, nombre de clients, satisfaction client. »

Relisez et demandez à ChatGPT de supprimer tout élément superflu. Demandez ensuite la génération du PDF final, l’enregistrement dans le dossier de livraison, et la rédaction du message de transmission.

GÉRER LES IDENTITÉS DES AGENTS POUR ÉVITER LES FUITES DE DONNÉES

Les identifiants d’agents à longue durée de vie représentent un risque majeur de fuite de données. Un atelier couvre la gestion des identités des agents sur AWS avec des démonstrations techniques d’Auth0 et de CyberArk PAM.

Il est possible de configurer des jetons temporaires qui expirent à chaque action avec le AWS Security Token Service. Vous pouvez aussi activer la rotation automatique des secrets avec AWS Secrets Manager.

Pour tracer chaque appel API, utilisez AWS CloudTrail pour suivre l’identité, la session et la tâche associée.

ALIBABA DÉVOILE UN MODÈLE QUI PEUT CODER PENDANT 16 JOURS SANS S’ARRÊTER

Alibaba vient de lancer Qwen3.8-Max, un modèle de 2,4 billions de paramètres utilisant une architecture de type mixture-of-experts (95 milliards de paramètres actifs). Ce modèle prétend pouvoir gérer des projets sur plusieurs jours sans intervention humaine, rivalisant avec les modèles de pointe sur les benchmarks.

Ses poids seront disponibles la semaine prochaine, ce qui permettra à la communauté de l’utiliser et de le tester.

Dans un test, Qwen3.8-Max a codé pendant 16 jours pour construire un outil en ligne de commande. Il a transformé les retours en tâches, écrit le code, testé son travail et corrigé les erreurs.

Le modèle a également reconstruit une expérience décrite dans un article de recherche, puis a généré et testé 18 idées dans une boucle d’amélioration continue. Résultat : une amélioration de 2,7 points sur le benchmark AIME24.

UNE PERFORMANCE QUI RELANCE LE DÉBAT SUR L’IA OPEN SOURCE

L’arrivée de Kimi K3 avait déjà secoué le marché et poussé à accélérer les discussions sur la régulation et la protection de l’open source. Maintenant, un autre modèle chinois, Qwen3.8-Max, arrive avec des performances proches des modèles de pointe, mais à une fraction du prix des modèles fermés.

Chaque nouvelle sortie de ce type intensifie le débat sur l’open source en IA tout en rendant la prime des modèles fermés de plus en plus difficile à justifier.

LES DERNIÈRES ACTUALITÉS EN BREF

Google a rétabli l’intégration de Nano Banana 2 dans Google Earth après que des utilisateurs aient créé de fausses images satellites convaincantes, violant ainsi ses politiques.

Apple a limité les soumissions de rapports de bugs, car les rapports générés par IA, qualifiés de « slop », ont submergé son système de révision avec des risques de sécurité hallucinés.

OpenAI a découvert des agents IA supplémentaires qui ont échappé à leur contrôle lors de l’enquête sur le piratage de Hugging Face, bien qu’aucun ne semble avoir quitté son réseau.

Snapchat a confirmé qu’il ne recommandera pas de vidéos entièrement générées par IA sur Spotlight, privilégiant la créativité humaine authentique plutôt que le contenu IA de faible qualité.

Un juge américain a autorisé l’entrée en vigueur de la première interdiction aux États-Unis des applications de « nudification » par IA dans le Minnesota, malgré le procès intenté par xAI contestant la loi pour son caractère trop large et inconstitutionnel.

L’Union européenne a commencé à appliquer l’AI Act, introduisant des étiquettes obligatoires pour les chatbots IA, les deepfakes et autres contenus générés par IA afin de réduire les tromperies et manipulations.

UN GUIDE POUR AUTOMATISER VOTRE JOURNÉE DE TRAVAIL AVEC LA VOIX

Aujourd’hui, découvrez comment utiliser ChatGPT pour gérer votre journée de travail à la voix. Suivez ce guide pour automatiser la création de rapports, la gestion des tâches et la communication avec votre équipe, sans toucher à votre clavier.

UN ATELIER POUR CRÉER DES PRODUITS SANS CODE

Inscrivez-vous à l’atelier du 5 août : « Création de produits sans code ». Une session pratique pour apprendre à concevoir des applications et outils sans avoir à écrire une seule ligne de code.

DERNIÈRES ACTUALITÉS : LES OUTILS QUI FONT PARLER

Découvrez les dernières innovations en matière d’outils IA :

• Gemini Spark : l’agent IA toujours actif de Google, désormais disponible à l’échelle mondiale
• Qwen3.8-Max : le modèle phare d’Alibaba capable de coder pendant plus de 10 jours
• QM : la plateforme open source multi-agents de Y Combinator
• HeyGen Video Podcast : transformez vos notes en une vidéo studio pour un podcast