Aktualność · Google · 2 min czytania
Data wydarzenia: · Opublikowano:
Google Research pokazuje jak /teamwork z Antigravity rozwiązuje otwarte problemy matematyczne
Google Research opisało, jak akademickie zespoły wykorzystały wzorzec /teamwork z Antigravity do udowodnienia otwartych hipotez matematycznych, sformalizowania ogromnych dowodów i przepisania setek tysięcy linii kodu systemowego w Rust.
Google Research poinformowało 13 listopada 2026 roku, że zespoły z Google oraz partnerów akademickich CUHK, USC i CMU wykorzystały wzorzec wieloagentowej orkiestracji /teamwork z Antigravity do pracy nad naprawdę nierozwiązanymi problemami badawczymi i inżynieryjnymi, co opisano we wpisie Google Research o funkcji /teamwork w Antigravity.
Konkretne wyniki wzorca /teamwork
- Udowodniono w pełnej ogólności hipotezę Courtade-Kumar z teorii informacji z 2013 roku
- Wygenerowano 1,8 miliona linii kodu w Lean formalizujących hipotezy Weila, wykorzystując 28 800 wywołań subagentów
- Sformalizowano dowód dziesiątego problemu Hilberta obejmujący ponad 919 000 linii kodu w Lean
- Osiągnięto 95 procent dokładności top-1 i 100 procent dokładności top-3 w wyznaczaniu struktur molekularnych metodą NMR przy użyciu 30 wyspecjalizowanych agentów chemicznych
- Przepisano około 800 000 linii mikrojądra Zircon oraz dekoder wideo libgav1 (ok. 170 000 linii) na bezpieczny kod w Rust, przy czym libgav1 działa o 20 do 30 procent szybciej niż oryginalny kod
- Zbudowano FarArray, rozproszony system skalujący się do grafów z bilionem krawędzi, z przyrostem przepustowości od 60 do 90 razy
Co to znaczy dla osób budujących z AI
Wyniki te przedstawiają /teamwork jako demonstrację wieloagentowej orkiestracji wykonującej prawdziwie nową pracę, w tym nowe dowody matematyczne, duże przedsięwzięcia formalnej weryfikacji i przepisywanie systemów, a nie jako przyrostowe wydanie modelu. Dla osób budujących z AI jest to dowód, że orkiestracja wielu wyspecjalizowanych agentów razem może przesuwać problemy badawcze i inżynieryjne naprzód w skali i tempie, których pojedynczy agent dotąd nie pokazywał.
Bezpłatny dostęp dla naukowców akademickich
Google udostępnia 10 000 naukowcom akademickim sześć miesięcy bezpłatnego dostępu do Gemini 4 Argon, Carbon i Hydrogen, a także do wzorców /boost i /teamwork z Antigravity, otwierając to podejście dla szerokiego grona środowiska akademickiego.
Źródła
- Advancing science & engineering with Antigravity's /teamwork (Google Research, 13 listopada 2026, oficjalne)
Tekst przygotowany z pomocą AI wyłącznie na podstawie źródeł wymienionych powyżej. Zanim trafił na stronę, przeszedł automatyczną kontrolę dat, źródeł i wszystkich wersji językowych.