Here to help.
Mountain View, CA
Joined February 2009
- Tweets252K
- Following300
- Followers31.9M
- Likes5.8K
Google retweeted
Your thoughts can be messy. Your message doesn't have to be. 🗣️ Rambler helps clean up what you say as you say it. Unlock this and a whole suite of new tools as Gemini Intelligence expands to Google #Pixel10.¹
#PixelDrop #GooglePixel #Rambler
goo.gle/4sR0vOZ
Google retweeted
Start building with Gemini 4 Carbon: our strongest model for complex, long-horizon tasks.
It’s designed to explore problems thoroughly and run extended verification loops across software engineering, cybersecurity, knowledge work, and science.
Google retweeted
Gemini 4 Carbon is now rolling out to developers, enterprises, scientists, and consumers!
We built it to be a true partner for your hardest coding, research, and engineering workflows.
Here's a fun example where Carbon read research papers on how songbirds sing and built an interactive model of a bird’s vocal organ…tuning the live audio physics against real bird recordings so you can hear 6 species sing or play it like a music synthesizer.
Google retweeted
Our latest frontier model Gemini 4 Carbon is rolling out today! Amazing progress from Gemini 3 → Gemini 4 in less than a year… Carbon reverse engineers my original Theme Park binaries, adds a new DeepMind themed ride, and ports it to the web in one shot - kind of mindblowing to see! xitter.cf/demishassabis/status/1…
For example I’ve been doing a bunch of late night vibe coding with Gemini 3 in @GoogleAIStudio, and it’s so much fun! I recreated a testbed of my game Theme Park 🎢 that I programmed in the 90s in a matter of hours, down to letting players adjust the amount of salt on the chips! 🍟 (fans of the game will understand the reference 😀)
Google retweeted
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.
Google retweeted
Gemini 4 Carbon Developer Guide 🧑💻
Wrote down tips to get started with Carbon:
🤔 - When to use Carbon vs. Argon?
💭 - Set thinking levels based on the task
🎯 - Set clear goals
🔄 - Use build and verify loops
Read the full guide 👇
aistudio.google.com/learn/ge…
Google retweeted
Carbon made a pelican demo so you don't have to 😅
fun test of long-horizon coding and the new /swarm feature in Google @Antigravity.
Builder and critic subagents ran iterative loops across Blender and Three.js - checking their own renders to build a playable 3D game of a pelican biking around our Mountain View campus.
Google retweeted
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.
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.
For your biggest builds, we're previewing /swarm in @Antigravity, turning one prompt into a coordinated team of agents you can track in real time.
Assign Carbon to high-level roles like architectural design, coordination, and auditing while parallel agents build and test every change.
Try Gemini 4 Carbon starting today:
✨ Google AI Ultra subscribers: @GeminiApp, AI Mode in Search, @Antigravity, and @GoogleAIStudio
✨ Developers and enterprises: Gemini API in @GoogleAIStudio and @AndroidStudio, and Gemini for business
Learn more ↓ goo.gle/4ziNHT7
Google retweeted
Gemini Robotics 2.5 is here. 🤖
Our latest physical AI is able to learn hundreds of everyday skills - from folding laundry and serving pastries to autonomously sorting car parts on the factory floor.
Here’s a snapshot of its capabilities 🧵
Google retweeted
The @beardfoundation has been capturing the evolution of American cuisine for over four decades, and launched many of today’s top chefs. Now, a new partnership with @googlearts is bringing more than 10,000 of those menus to life with Bite by Bite, an interactive digital archive. Explore how ingredients, dining trends, and culinary palates have shifted — from the explosion of kale in the 2000s to evolving farming practices. 🍽️
Google retweeted
you can now build with google maps platform in AI Studio 🗺️📍
go from idea to app powered by @googlemaps in minutes!
what’s new:
- 1-click setup
- create maps apps just by describing your idea, gemini does the rest
- build with map tiles, places, weather, routing, 3D buildings, street view, and more
try it out today: ai.studio/build
Today, we're expanding our eighth-generation TPU portfolio with two new systems built specifically for the agentic era — bringing our total to four distinct eighth-generation TPU systems launched in a single year.
TPU 8i Max was built for massive context windows and the highest compute density per rack, and TPU 8tx is optimized for secure and confidential inference. While flexible across workloads, the four systems in our 8th gen TPU portfolio give developers and organizations a purpose-built accelerator for every stage of the agentic lifecycle.
@AminVahdat, SVP and Chief Technologist, AI and Infrastructure, explains why we're expanding our TPU portfolio and what everyone needs to know about TPU 8tx and 8i Max ⬇️
In addition to expanding our eighth-generation TPU portfolio, we’re also upgrading our unified, open software stack for developers.
Learn more about our newest TPU systems and updates for developers. goo.gle/3Uo7oKZ
From fun idea → functional smart device 🏄♂️
Check out how these builders used Gemini 4 Argon and @Antigravity to take a custom "Surf Clock" from a rough sketch to a working prototype: exploring retro '60s designs, controlling Blender via Python, and writing custom firmware.
Introducing The Art of Looking, a new expansion in the partnership between @googlearts and @TheCourtauld, featuring 12 new stories that explore fundamental philosophical questions. What does art mean? Who is art for?
This collection takes a closer look at works from artists like Van Gogh, Michelangelo, or Claudette Johnson to dive deeper into their creative processes and iconic masterpieces and explore how AI can support cultural institutions to unlock new ways of opening up art education and immersive learning for the next generation of artists.
