Przejdź do treści

Redakcja i społeczność ludzi, którzy budują z AI

← Wszystkie artykuły

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

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.

Google Research pokazuje jak /teamwork z Antigravity rozwiązuje otwarte problemy matematyczne | vibecoding.pl