@danielrock
Introducing Gemini 4 Hydrogen, an extremely capable and fast model built to bring Gemini 4 to everyone!
Available to all tiers of Google AI Studio, Gemini API, Gemini for business, the Gemini app, Google Search, and paid Google AI Pro + Ultra subscribers in Google Antigravity.View quoted post on X
Anthropic pre-IPO broker call was absolutely WILD. The party line was:View quoted post on X
•We are or plan on imminently destroying: hyperscalers, every other lab, SpaceX, biotech, robot cos; for fun
•Chipmakers may survive at our pleasure
•$1tn ARR by 4Q28
•Fuck investors it’s capex time
So far ...View quoted post on X
Our teams put Gemini 4 Carbon to work on a major security challenge: mathematically proving the code underlying the Signal protocol.
Using AlphaProof Code, @GoogleDeepMind researchers guided agents to verify the protocol down to compiled device code, closing the gap where real bugs hide. The result:
- Gemini 4 Carbon generated over 6M lines of machine-checked Lean proofs
- years of expert manual verification compressed to just weeks
~1% of the codebase required human review (Lean automatically checked the rest)
This is helping unlock scalable formal verification for building secure software, laying the groundwork to fundamentally shift the advantage to defenders. We’re open sourcing the results for the security community.View quoted post on X
Gemini 4 Carbon is rolling out today. It’s built for sustained, long-horizon tasks, reasoning deeply through complex software engineering, cybersecurity, and scientific discovery.View quoted post on X
Coming globally via the Gemini API in @GoogleAIStudio and Gemini for business, and for Ultra subscribers in @antigravity, the @GeminiApp, and AI Mode in Search.
