Google Research muestra cómo /teamwork de Antigravity resuelve problemas matemáticos abiertos

Google Research informó el 13 de noviembre de 2026 que equipos de Google y los socios académicos CUHK, USC y CMU utilizaron el patrón de orquestación multiagente /teamwork de Antigravity para avanzar en problemas de investigación e ingeniería genuinamente sin resolver, según se describe en la publicación de Google Research sobre la función /teamwork de Antigravity.

Resultados concretos del patrón /teamwork

• Se demostró en plena generalidad la conjetura de Courtade-Kumar de la teoría de la información de 2013
• Se generaron 1,8 millones de líneas de código en Lean que formalizan las conjeturas de Weil mediante 28.800 llamadas a subagentes
• Se formalizó una demostración del décimo problema de Hilbert que abarca más de 919.000 líneas de Lean
• Se alcanzó un 95 por ciento de precisión top-1 y un 100 por ciento de precisión top-3 en la determinación de estructuras moleculares por RMN usando 30 agentes químicos especializados
• Se reescribieron unas 800.000 líneas del microkernel Zircon y el decodificador de video libgav1 (unas 170.000 líneas) en Rust, con libgav1 funcionando entre un 20 y un 30 por ciento más rápido que el código original
• Se construyó FarArray, un sistema distribuido que escala a grafos de un billón de aristas, con ganancias de rendimiento de entre 60 y 90 veces

Qué significa para quienes construyen con IA

Estos resultados presentan a /teamwork como una demostración de orquestación multiagente realizando trabajo genuinamente nuevo, incluidas nuevas demostraciones matemáticas, grandes esfuerzos de verificación formal y reescrituras de sistemas, en lugar de un lanzamiento incremental de modelo. Para quienes construyen con IA, esto es evidencia de que orquestar muchos agentes especializados juntos puede hacer avanzar problemas de investigación e ingeniería a una escala y velocidad que los flujos de un solo agente no habían mostrado.

Acceso gratuito para investigadores académicos

Google ofrece a 10.000 investigadores académicos seis meses de acceso gratuito a Gemini 4 Argon, Carbon y Hydrogen, junto con los patrones /boost y /teamwork de Antigravity, abriendo este enfoque a una amplia audiencia académica.

Fuentes

• Advancing science & engineering with Antigravity's /teamwork (Google Research, 13 de noviembre de 2026, oficial)

Redactado con ayuda de IA, únicamente a partir de las fuentes indicadas arriba. Antes de publicarse, controles automáticos verificaron sus fechas, sus fuentes y todas sus versiones de idioma.