Founder + CEO of PingYou. Former Director + Head of DL Engineering at Google DeepMind; MIT Theory of Computation; Harvard. Still not a mathematician.
Joined December 2014
- Tweets2.4K
- Following251
- Followers5.7K
- Likes805
Budden retweeted
You're all too kind. Have an Erdos cookie
pingyou.com/papers/erdos-289…
Budden retweeted
Fascinating article about Navier-Stokes solution and what mathematicians have learned … “so far humanity has learned very little from the solution. Although they believe the proof to be technically correct, the dense, 166-page manuscript drafted by AI is proving to be a difficult read. "So far it's been very difficult to really extract any human understanding from this new AI proof," said James Maynard, a mathematician at the University of Oxford. The paper is not written for humans," said Javier Gómez-Serrano, a mathematician at Brown University who uses AI in his own research. He said he believes the proof could help advance the field after "some serious re-writing," but "as of today, the paper doesn't teach us much."”
npr.org/2026/09/22/nx-s1-596…
Budden retweeted
One masterpiece from each major movement of Western architecture - a thread 🧵
1. Classical Greek: The Erechtheion, the Acropolis of Athens, Greece (c.406 BC)
Budden retweeted
First paper by Alex Graves in five years 🎤
A unified approach towards modeling continuous, discretized (e.g. quantized images/audio), and fully discrete (e.g. text) data.
arxiv.org/abs/2308.07037
Budden retweeted
If you think people have scar tissue, you should see organizations. Each time there's a disaster, they create a process to prevent future disasters of that type. Eventually they accrete a thick layer of these processes that prevents them from moving. Then they die.
Budden retweeted
I use polarised filters to explain (some) quantum mechanics to my kids. How is it possible that adding a 3rd filter in between (the one at 45º) some light get to go through the otherwise black rectangle in the middle?
Budden retweeted
We're building a brand new team at @DeepMind dedicated to data, and we're looking for Data Research Engineers to join us.
Feel free to reach out, or apply online here:
boards.greenhouse.io/deepmin…
Budden retweeted
Proud to announce the Digital Future Initiative in Australia - a A$1B commitment in infrastructure, research, and partnerships to help more Australians access the benefits of technology & lead the next wave of global innovations.
blog.google/around-the-globe…
Budden retweeted
Parkour is the perfect sandbox for the Atlas team to experiment with new behaviors. Through jumps, balance beams, and vaults, we push Atlas to its limits to discover the next generation of mobility, perception, and athletic intelligence. bit.ly/3iTIxco
Budden retweeted
We release the full technical report & code for our OGB-LSC entry, in advance of our KDD Cup presentations! 🎉
arxiv.org/abs/2107.09422
See thread 🧵 for our insights gathered while deploying large-scale GNNs!
with @PeterWBattaglia @davidmbudden @andreeadeac22 @SibonLi et al.
Budden retweeted
Factories by Japanese photographer Tetsurou Kobayashi—a few more here instagram.com/p/CQ3TzP8D5jc/…
Budden retweeted
Awesome talks today showcasing the broad and growing JAX ecosystem, as part of the @huggingface JAX and Cloud TPU community week:
github.com/huggingface/trans…
Budden retweeted
Brief update on some exciting progress on #AlphaFold! We’ve been heads down working flat out on our full methods paper (currently under review) with accompanying open source code and on providing broad free access to AlphaFold for the scientific community. More very soon!
Budden retweeted
Winners of the OGB-LSC graph machine learning challenge have just been announced at ogb.stanford.edu/kddcup2021/…
Congratulations to the winning teams from @BaiduResearch, @DeepMind, @Synerise, Harbin and Dalian Institutes of Technology and USTC!
