
Tom Zahavy
@tzahavy
Building agents that discover knowledge and get better at doing so over time. Staff research scientist @GoogleDeepMind
ID: 1070655917920829440
https://tomzahavy.wixsite.com/zahavy 06-12-2018 12:27:17
435 Tweet
2,2K Followers
397 Following




1000+ words per second! ⚡ We just unleashed Gemini Diffusion at #GoogleIO! 🚀 Awesome being part of the team that took this from a small research project all the way to I/O Google DeepMind 🪐













🔥 Google DeepMind just dropped their "formal conjectures" project - formalizing statements of math's biggest unsolved mysteries in #LeanLang and #Mathlib! This Google-backed project is a HUGE step toward developing "a much richer dataset of formalized conjectures", valuable



Very excited to be hosting a workshop at #RLDM2025 this Thursday along with Evan Russek! We have an amazing lineup of speakers, with the goal being to discuss how chess can act as a bridge between human cognition and artificial intelligence ♟️ sites.google.com/nyu.edu/chessr…

MLST is looking for freelance technical researchers/writers to join our team. Do you want to be part of one of the most exciting media companies in the AI space, covering exciting developments but with characteristic MLST-style substance? Email us at [email protected] with
