Amin Barekatain
@BarekatainAmin
Quant Dev @QuadratureLDN | Prev: Research Engineer @GoogleDeepMind | FunSearch, AlphaTensor, AlphaDev, MuZero
ID:707977292409085952
10-03-2016 17:11:54
105 Tweets
983 Followers
260 Following
In FunSearch, using a ‘bigger’ LLM didn't guarantee better results due to latency issues disrupting our evolutionary process. Successful LLMs here need coding competence and fast inference. Codey, developed by rohan anil and the team, nailed both—our default model. Kudos to them!
Here's a great example of human-AI collaboration to obtain new results in mathematics. In this case, a team from DeepMind has used LLMs to obtain the best known lower bound for the cap-set problem. Of course, there's more to it than talking to ChatGPT.
theguardian.com/science/2023/d…
Excited to share our @nature paper on #FunSearch (Search in Functional space)! tl;dr: we find new results in maths by evolving code with a pretrained (no finetuning involved) medium-size LLM acting as crossover/mutation operator deepmind.google/discover/blog/…
storage.googleapis.com/deepmind-media…
1/n
Amazing achievement by Amin Barekatain and the team at Google DeepMind!
'FunSearch has made the *first scientific discoveries* for established open problems using an LLM 🚀'.
Three nature papers within only 14 months; way to go Amin!
Check out this great thread!
We're hiring a research scientist to join our Quantum Chemistry and Materials team ⚛️🚨
The team is working on using machine learning to better our understanding of the universe, down at the level of quantum physics.
See: deepmind.com/blog/simulatin…
Share: boards.greenhouse.io/deepmind/jobs/…