An overview of @GoogleAI work showing one way that AI is helping reduce worldwide emissions, by better timing stop lights to reduce idling at intersections (and get people where they want to go faster)
@jeffdean
-
TPUs Drive Google’s Machine Learning Scale and Cloud Capabilities
By
–
It's really great to see the impact that TPUs have had and continue to have on Google's ability to do machine learning training and inference at scale, and to provide that same capability to @googlecloud customers via Cloud TPUs. Here's a bit of backstory on how they came to be.
-
Google welcomes back Noam Shazeer as AI researcher
By
–
Absolutely delighted to welcome my longtime Google colleague @NoamShazeer back to Google!
-
Russ Cox Celebrates 12 Years Leading Go Programming Language
By
–
Congrats to my former intern and longtime colleague Russ Cox @_rsc for 12 years of awesome impact as the TL for Go! https://
groups.google.com/g/golang-dev/c
/0OqBkS2RzWw
… -
1.5 Pro Model Family: Understanding Minor Version Updates
By
–
They're all part of the 1.5 Pro model family, but there's a date suffix that identifies what you can think of as a minor version.
-
Model Versioning Strategy: Date-Identified Updates for Gemini Pro
By
–
Maybe we should! We tend to use dates to identify improvements to models instead (e.g. Gemini Pro 1.5 has a series of date-identified updates like 0801, 0514, 0409-Preview).
-
Gemini 1.5 Pro Updated Version Ranks Top Chatbot Arena
By
–
We have an experimental updated version of Gemini 1.5 Pro that is #1 on the @lmsysorg Chatbot Arena. This model is a significant improvement over earlier versions of Gemini 1.5 Pro (it cracks into 1300+ elo score territory). I'm really proud of the whole team of people that
-
Gemini 1.5 Pro Tops Vision Leaderboard Rankings
By
–
The new Gemini 1.5 Pro model is also #1 on the Vision Leaderboard!
-
AlphaGeometry 2 Solves 83% of Historical IMO Geometry Problems
By
–
AlphaGeometry solves geometry problems, but that's only one kind of problem that appears in the IMO (and it has been improved significantly): "Before this year’s competition, AlphaGeometry 2 could solve 83% of all historical IMO geometry problems from the past 25 years, compared
-
AlphaZero-Based System for Automated Mathematical Theorem Proving
By
–
Not at this point. It builds on AlphaZero, which does have a paper: https://
arxiv.org/abs/1712.01815 It uses the Lean theorem proving system as the way of expressing the theorems and proofs: