Wykorzystanie Gemini i Z3 do wykrywania ukrytych błędów w czasie wykonania Go
Google zademonstrowało proces, w którym Gemini 4 Argon analizuje kod asemblerowy Go, generując reguły dla solvera ograniczeń Z3. Takie podejście pozwala wyłapać błędy typu „panic”, które standardowe testy „fuzzing” często pomijają ze względu na sposób, w jaki środowisko wykonawcze Go zarządza pojemnością wycinków (slices).