W skrócie
- Anthropic opublikował 2.11.2026 FlashProve: otwarty prototyp, który dołącza do odpowiedzi dowód, że wygenerował ją konkretny model, bez ujawniania jego wag.
- Na Llama 4 Maverick dowód ma ok. 19 MB, sprawdza się go w ok. 17 s, ale kosztuje ok. 70–95 razy więcej mocy obliczeniowej.
Najkrócej: gdy płacisz za konkretny model AI, nie masz dziś jak sprawdzić, czy odpowiedź naprawdę pochodzi od niego. Zespół Frontier Red Team w Anthropic z badaczami z EPFL, MIT, StarkWare i Succinct opublikował 2.11.2026 FlashProve, prototyp, który do odpowiedzi dołącza matematyczny dowód pochodzenia.
Jak to działa
- Dostawca raz publikuje zobowiązanie, czyli krótki odcisk swoich wag modelu. Wagi zostają tajne.
- Do każdej odpowiedzi dołącza plik z dowodem, że to właśnie ten model wygenerował te słowa.
- Każdy, kto ma odcisk, pytanie i odpowiedź, może dowód sprawdzić bez dostępu do wag. To dowód z wiedzą zerową: nie zdradza wag ani wyników pośrednich.
- Kod, specyfikacja i formalne dowody w języku Lean są na GitHubie na licencji Apache 2.0.
Liczby z testu
- Test na Llama 4 Maverick (400 mld parametrów, ok. 17 mld aktywnych na token): ok. 110 tokenów na sekundę na jednej karcie H100.
- Dowód ma ok. 19 MB na zapytanie do 1024 tokenów; sprawdzenie trwa ok. 17 s.
- Przygotowanie odcisku trwa ok. 39 minut raz na model, a jeden odcisk wystarcza na ok. 16 mln zapytań.
- Cena: generowanie z dowodem zużywa ok. 70–95 razy więcej czasu karty niż zwykłe serwowanie.
Jak to czytać
To badanie, nie produkt. Według TechCrunch Anthropic nie planuje na razie wdrożenia u siebie ani u innych. Autorzy sami wymieniają ograniczenia: dowody obejmują tylko do 1024 tokenów, działają przy deterministycznym wyborze słów, a architektura modelu nie jest ukryta. Kierunek jest jednak ważny: zaufanie do dostawcy można by kiedyś zastąpić sprawdzeniem. Więcej o pracach badawczych piszę w hubie Badania i papery.