Heard on a podcast
DeepMind's AlphaProof system, which integrates Lean for formal verification, successfully solved International Mathematical Olympiad problems at a silver medal level.
Machine Learning Street Talk (MLST) ·
That's why when my fantastic co-founder Saffron Huang and I left our jobs at Google DeepMind and Microsoft to build new democratic governance models for transformative tech, I nam…
TED Tech · Divya Siddarth · Monday
A research engineer at Google DeepMind, Sophia Liguori, has resigned and gone public about it. She says she can no longer work for a company that is deepening its military AI part…
The State of Tech — The European Edition · Monday
Yeah, so I say, you know, when I say people have this perspective that I trust, this is a combination of people at OpenAI, Anthropic, Google DeepMind, you know, Also, people who a…
Mentioned on 17 other episodes this week. Add your own people and companies. Free to start.
