Google Antigravity et Gemini 3.7 Flash résolvent des défis

Google a dévoilé une mise à jour importante de son infrastructure Antigravity, centrée sur le cadre Teamwork. Ce système permet à des équipes d'agents d'intelligence artificielle de collaborer, de se critiquer et d'itérer automatiquement sur plusieurs jours pour résoudre des défis complexes à long terme. En associant cette orchestration multi-agents au modèle Gemini 3.7 Flash, l'entreprise a obtenu des résultats mesurables dans trois domaines techniques majeurs. En mathématiques et en informatique théorique, le système a résolu sept problèmes ouverts publiés dans des conférences de référence comme FOCS et JMLR. Parmi ces réussites figure la vérification de la conjecture des cycles de Knuth, qui a généré des preuves formelles dépassant les quarante pages via l'environnement de démonstration Lean. L'agent a également avancé la recherche sur l'optimisation convexe, la quantification prouvée des grands modèles de langage et la factorisation de matrices préfixées. Sur le benchmark académique TCSBench, le système a atteint un score de 71 %. Dans le domaine de l'ingénierie des systèmes, Google a développé de toutes pièces un simulateur de processeur RISC-V à architecture hors-ordre. Ce simulateur, précis au niveau du cycle horaire, parvient à amorcer le système d'exploitation xv6 jusqu'à l'accès au terminal, avec un écart de seulement 0,71 % par rapport aux mesures matérielles réelles. Cette fiabilité en fait un outil précieux pour la conception et la validation de nouvelles architectures informatiques. Les agents ont également intégré des optimisations directement au sein de projets open source. La bibliothèque de calcul scientifique Eigen bénéficie désormais de chemins rapides exploitant les instructions SIMD pour accélérer les opérations parallèles. Parallèlement, le hachage distribué ParlayHash a vu son débit d'insertion doublé et sa consommation mémoire réduite de vingt-cinq pour cent. Ces contributions démontrent que l'intelligence artificielle peut produire du code industriellement robuste et immédiatement utile. Selon l'équipe derrière Antigravity, ces avancées illustrent la montée en puissance de l'automatisation collaborative. En déléguant la recherche et le développement à des équipes d'agents, le temps nécessaire à la résolution de problèmes pointus est considérablement réduit. Cette approche pourrait transformer durablement les méthodologies de développement logiciel, de simulation matérielle et de recherche fondamentale, tout en élevant les standards de l'innovation assistée par IA.