Övergången till AI på enheten kräver en högre sekretessfält. Vi introducerar Provably Private Insights (PPI) för att möjliggöra viktig utvecklaranalys av GenAI-funktioner med en verifierbar garanti för att råa användardata aldrig exponeras. Det här systemet är en central komponent för att bygga AI på ett ansvarsfullt sätt. PPI använder en Gemma LLM med öppen källkod i en betrodd exekveringsmiljö (konfidentiell federerad analys) för att kategorisera ostrukturerad data och härleda insikter. Endast aggregerad, differentiellt privat statistik lämnar den säkra miljön. Vi har släppt koden för att tillåta extern verifiering av sekretessgarantierna från slutpunkt till slutpunkt. Läs mer om dess implementering i Recorder och vår ritning av Artem Lagzdin och Daniel Ramage: Preprint: