Twitxy Saved

Roberta Raileanu

Verified account This account is verified. Learn more

@robertarail

Open-Endedness Team Lead and Senior Staff Research Scientist @GoogleDeepMind. Adjunct Faculty @bold_lab_ai. ex @Meta | @NYU | @Princeton | IPhO | IOAA.
London, UK Joined April 2013
1.8K Following 11K Followers 1.7K Posts

Latest posts 5

Pinned post

Roberta Raileanu Verified account @robertarail
I’m building a new team at @GoogleDeepMind to work on Open-Ended Discovery!

We’re looking for strong Research Scientists and Research Engineers to help us push the frontier of autonomously discovering novel artifacts such as new knowledge, capabilities, or algorithms, in an open-ended self-improving loop.

We aim to work on ambitious research projects in a fast-paced manner.

If this sounds appealing to you, apply using the link below by Friday, August 1st EOD:
job-boards.greenhouse.io/deepmind/jobs/…
86 replies 253 reposts 2.5K likes 351K views View on X
Roberta Raileanu Verified account @robertarail
Our Open-Endedness team at @GoogleDeepMind has a few openings for Student Researchers.

Lei is a fantastic researcher and mentor, so please apply if you are interested in these topics!
Lei M. Zhang @l32zhang 3d
I’m hiring a Student Researcher at
@GoogleDeepMind.

I am looking for PhD students working on multi-agent organization, open-endedness, or self-improvement.

📍 Location: Toronto
🗓️ Duration: 6 months, 100%
🚀 Start date: Jan 2027

Apply now using the links below👇
View quoted post on X
Roberta Raileanu Verified account @robertarail
Our Open-Endedness team at @GoogleDeepMind has a few openings for Student Researchers.

Maxence is a fantastic researcher and mentor, so please apply if you are interested in these topics!
Maxence Faldor Verified account @maxencefaldor 4d
I’m hiring a Student Researcher at @GoogleDeepMind.

I am looking for PhD students working on agents, open-endedness, self-improvement or scientific discovery.

📍 Location: London
🗓️ Duration: 24 weeks, 100%
🚀 Start date: June or July 2027

Apply now using the links below👇
View quoted post on X
0 replies 14 reposts 136 likes 8.2K views View on X
Roberta Raileanu Verified account @robertarail
Great opportunity to work on AI safety and alignment with a fantastic advisor!
🚀 I am hiring a Postdoc in AI Safety & Alignment @imperialcollege to work on ⚡️Detecting Unverbalized Dangerous Capabilities in Frontier Models⚡, as part of a grant I received.

🗓️ Application Deadline: 22nd November
🔗 Link: imperial.ac.uk/jobs/search-jo…
📅 Start date: ASAP
View quoted post on X
0 replies 2 reposts 31 likes 3.5K views View on X
Roberta Raileanu Verified account @robertarail
Congrats @TZahavy, @dsantosmarco, @Dahoas1, @maxencefaldor and team on collaborating with Argon and the community to make progress on Busy Beaver and cryptids! 🦫 🦫 🦫
Maxence Faldor Verified account @maxencefaldor Oct 21
It has been a blast hunting cryptids with such a great team 👾

Alongside the Busy Beaver holdout proofs, we also open-sourced smaller 2-symbol Turing machines for three foundational math problems, verified end-to-end in Lean 4 from a blank tape to Mathlib (0 sorry):

- Goldbach's Conjecture: 25 -> 21 states
- Riemann Hypothesis: 120 -> 104 states
- ZF Consistency: 393 -> 380 states

Using Gemini Argon, we compressed the community baseline machines and proved both the state reductions and full mathematical semantics in the kernel: each machine halts if and only if the conjecture fails (or ZF is inconsistent).

Best part of releasing this openly: within days of going live, a community contributor already built on our 104-state proof to push the Riemann machine down to 95 states. 🚀

Huge thanks to everyone across the @GoogleDeepMind team who contributed to this project: @tomzahavy, @robertarail, @dsantosmarco, @vivek_veeriah, @Dahoas1, @zuza777, @MoritzFirsching, Andrew Bolt, Satinder Singh, Hussain Masoom, and Petar Sirkovic, as well as the Busy Beaver community.

Code: github.com/google-deepmin…
View quoted post on X