Bonjour {{first_name}} ! Microsoft, OpenAI et Google DeepMind se livrent une guerre des agents autonomes: Microsoft lance Fara1.5 pour le web, OpenAI améliore Codex pour contrôler un ordinateur, et Google DeepMind impressionne avec AlphaProof Nexus en mathématiques. L’IA passe désormais de la simple génération de texte à l’action autonome et au raisonnement scientifique avancé.

Dans l'édition d'aujourd'hui :

Le Contexte

Microsoft Research a dévoilé Fara1.5, une famille d'agents de navigation web open-source qui, selon les tests, surpasse les performances de l'Operator d'OpenAI et du Gemini 2.5 Computer Use de Google . Cette annonce souligne l'intensification de la concurrence dans le domaine des agents IA capables d'interagir avec le web.

Les Détails

Fara1.5 est un agent IA open-source conçu pour naviguer et interagir de manière autonome avec le web, en exécutant des tâches complexes nécessitant une compréhension contextuelle avancée.

Ses performances montrent une nette progression dans la capacité des IA à comprendre et utiliser de véritables interfaces web. L’approche open-source de Microsoft pourrait accélérer l’innovation et favoriser l’adoption de ces technologies par une communauté plus large de développeurs.

Impact

L’émergence d’agents IA open-source comme Fara1.5 ouvre de nouvelles possibilités pour automatiser les tâches en ligne, rechercher des informations et interagir avec des applications web. Cela pourrait démocratiser l’accès à l’IA avancée et accélérer le développement d’outils web intelligents.

When you started out, doing your own books made sense. But the business you're running today isn't the one you started. If your accounting hasn't kept pace, it's quietly costing you — outdated financials, no clear view of what's actually profitable, and hours every week pulled away from the work that grows your business. At BELAY, our Financial Experts integrate directly into your business. They manage your books, reconcile accounts, run payroll, and deliver the timely insight you need to make big decisions with confidence. Stop guessing. Start knowing.

Download the Free Guide

Le Contexte

OpenAI a lancé une nouvelle série de mises à jour pour Codex. L’assistant autonome gagne notamment la possibilité d’ajouter des fenêtres d’application, un mode « Objectif », l’utilisation de l’ordinateur verrouillé et des annotations avancées pour modifier des sites web sans intervention manuelle.

Les détails

L’outil Appshots permet aux utilisateurs Mac d’ajouter n’importe quelle fenêtre d’application ouverte à un fil Codex via un simple raccourci Commande-Commande, incluant captures d’écran, texte et contenu. Le mode Objectif, disponible dans l’application Codex, l’extension IDE et l’interface CLI, peut ensuite travailler sur une tâche pendant des heures, voire des jours.

L’utilisation de l’ordinateur verrouillé permet aussi à Codex de continuer à utiliser des applications de bureau même après le verrouillage du Mac. Enfin, le mode d’annotation avancé permet de décrire directement des modifications sur une page web avec un aperçu instantané du résultat.

Impact

OpenAI poursuit son offensive avec Codex en ajoutant de nouveaux outils destinés à améliorer la collaboration entre les développeurs et l’assistant agentique. L’entreprise espère ainsi réduire l’écart avec Anthropic tout en conservant son avance sur xAI et Google.

Le Contexte

Google DeepMind affirme qu’AlphaProof Nexus a résolu neuf problèmes d’Erdős encore ouverts, dont deux bloqués depuis 56 ans, un jour seulement après l’annonce d’une avancée similaire par OpenAI.

Les détails

Le système combine un LLM avec Lean afin de générer des démonstrations mathématiques vérifiées par ordinateur. Il a résolu neuf problèmes liés à la combinatoire et à la théorie des graphes, tout en prouvant 44 conjectures ouvertes issues de l’Encyclopédie en ligne des suites d’entiers.

Chaque résolution aurait coûté quelques centaines de dollars. Une version plus simple de l’agent a obtenu des résultats similaires, mais avec un coût plus élevé, tandis que les problèmes nécessitant de nouvelles constructions mathématiques restent hors de portée. La semaine dernière, OpenAI a aussi annoncé avoir réfuté une conjecture d’Erdős vieille de 80 ans.

Impact

Les avancées de Google DeepMind sur des problèmes mathématiques non résolus depuis des décennies montrent à quelle vitesse l’IA progresse vers des solutions originales. Le système génère des preuves, les vérifie dans Lean, puis répète le processus jusqu’à validation, ouvrant la voie à des découvertes accélérées par l’IA.

1. Prérequis

2. Configuration de l'agent

3. Fonctionnement de l'automatisation

L'agent effectuera les tâches suivantes :

4. Résultats et Exportation