Google DeepMind

Google's AI lab; built AlphaProof Nexus; Gemini models, AlphaProof, AlphaEvolve, and the open-weight Gemma line; opens the AI-for-mathematics domain and (via the Legg/Hutter 'From AGI to ASI' report) the theory-of-superintelligence cluster in this wiki; co-developer of the Cloud agent platform's AutoRater judges — and, across Gemma 4 and the Gemini 3.5 Flash-Lite card, runs two different safety-disclosure regimes: untabulated prose for the open line, a five-row delta table naming its own regression for the closed one