Research Scientist @GoogleDeepMind in the Open-endedness team

London
Joined July 2021
Four Gemini 4 Argon agents, one shared Minecraft world, one goal: defeat the Ender Dragon. 27 hours and 2,783 self-written programs later, the dragon fell.
54
65
74
627
252,000
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-deepmind/c…
Over the past year, the Discovery team at @GoogleDeepMind, in a project led by student researcher @dsantosmarco, has made new discoveries in one of the most beautiful open problems at the edge of computation: Finding the 6th Busy Beaver (BB) number. While most AI math systems solve human-generated problems, like theorems, this work tackles a different aspect of mathematical creativity: Discovering hidden problems. For years, the BB Community has pursued one of theoretical computer science’s most captivating collaborative quests: finding the simplest programs that run the longest before halting. Because determining whether these programs ever stop is uncomputable, no universal algorithm can solve it, meaning new mathematical techniques need to be found and invented to make progress. In this way, the BB challenge serves as an open ended domain for mathematical creativity and, in particular, a generator of hard math problems called Cryptids. These are tiny programs whose halting behavior is governed by and equivalent to deep, unsolved math problems in number theory, similar to the Collatz or Goldbach conjectures. Historically, the BB community had recognized ~20 Cryptids in BB(6), and the best problems were selected for the Busy Math Olympiad (BMO). Building on their work, Marco built a pipeline powered by Gemini 4 Argon that: 1️⃣ Simulates raw Turing machine traces to compress recurring patterns. 2️⃣ Conjectures mathematical transition rules & runs synthetic experiments to test edge cases. 3️⃣ Proves the equivalence formally in Lean 4.

Using this pipeline, Marco and the team discovered 20 new potential Cryptids and verified 33 more machines previously studied in the BB community. All the proofs were open sourced and shared in the community discord channel and we hope that they will help the community to make progress towards resolving BB(6). We also contributed related halting/non-halting proofs directly to the community GitHub repository. Finding these Cryptids shows hidden links between simple programs and number theory, and helps mathematicians map the limits of computation. I'm also excited about Gemini 4 Argon's ability to help researchers both solve hard problems and accelerate scientific discoveries, of which Busy Beaver is just one example. Work led by our student researcher @dsantosmarco with paper contributions from @vivek_veeriah, @Dahoas1 , Andrew Bolt, @zuza777 , Satinder Singh, and myself with additional contributions from Hussain Masoom, @maxencefaldor , @MoritzFirsching and Petar Sirkovic. Read more about it in our paper: arxiv.org/abs/2610.22603
3
1
18
2,037
Maxence Faldor retweeted
Over the past year, the Discovery team at @GoogleDeepMind, in a project led by student researcher @dsantosmarco, has made new discoveries in one of the most beautiful open problems at the edge of computation: Finding the 6th Busy Beaver (BB) number. While most AI math systems solve human-generated problems, like theorems, this work tackles a different aspect of mathematical creativity: Discovering hidden problems. For years, the BB Community has pursued one of theoretical computer science’s most captivating collaborative quests: finding the simplest programs that run the longest before halting. Because determining whether these programs ever stop is uncomputable, no universal algorithm can solve it, meaning new mathematical techniques need to be found and invented to make progress. In this way, the BB challenge serves as an open ended domain for mathematical creativity and, in particular, a generator of hard math problems called Cryptids. These are tiny programs whose halting behavior is governed by and equivalent to deep, unsolved math problems in number theory, similar to the Collatz or Goldbach conjectures. Historically, the BB community had recognized ~20 Cryptids in BB(6), and the best problems were selected for the Busy Math Olympiad (BMO). Building on their work, Marco built a pipeline powered by Gemini 4 Argon that: 1️⃣ Simulates raw Turing machine traces to compress recurring patterns. 2️⃣ Conjectures mathematical transition rules & runs synthetic experiments to test edge cases. 3️⃣ Proves the equivalence formally in Lean 4.

Using this pipeline, Marco and the team discovered 20 new potential Cryptids and verified 33 more machines previously studied in the BB community. All the proofs were open sourced and shared in the community discord channel and we hope that they will help the community to make progress towards resolving BB(6). We also contributed related halting/non-halting proofs directly to the community GitHub repository. Finding these Cryptids shows hidden links between simple programs and number theory, and helps mathematicians map the limits of computation. I'm also excited about Gemini 4 Argon's ability to help researchers both solve hard problems and accelerate scientific discoveries, of which Busy Beaver is just one example. Work led by our student researcher @dsantosmarco with paper contributions from @vivek_veeriah, @Dahoas1 , Andrew Bolt, @zuza777 , Satinder Singh, and myself with additional contributions from Hussain Masoom, @maxencefaldor , @MoritzFirsching and Petar Sirkovic. Read more about it in our paper: arxiv.org/abs/2610.22603
23
67
11
395
33,752
An independent research experiment, not an official Minecraft milestone, and not approved by or associated with Mojang or Microsoft.Visuals use the Pixel Perfection pack by XSSheep & Nova_Wostra (CC BY-SA 4.0).
1
2
20
6,052
As agents increasingly read papers and automate parts of research, PDFs are becoming a bottleneck. Research findings are compressed into prose, and each agent must then extract the experiments, claims, and evidence all over again. An agent-native artifacts could make this information directly accessible to agents while keeping the traditional paper for human readers (cc @JIACHENLIU8). It would be interesting to see this implemented in @askalphaxiv!
Thrilled that #paper2agent is published in @nature today! Scientific knowledge is traditionally stored in passive papers. Paper2Agent transforms papers into virtual authors that answer questions, apply its methods and collaborate w/ other paper agents to make new discoveries 🧵
3
4
824
Maxence Faldor retweeted
ARC-AGI-4 will be a benchmark for autonomous open-ended innovation. It will continue our commitment to open-source, giving the research community a shared target for progress that benefits all of humanity. Despite rapid model progress, humans still significantly outperform AI at open-ended invention. This is the meta-skill that unlocks progress across every field of technology. Advanced AI capable of scientific innovation will lead to tremendous new technology, knowledge, and understanding. This is a positive-sum future. We are deeply committed to advancing it. Open source is the foundation for that progress. The knowledge behind frontier AI, not just the technology itself, should be broadly distributed among researchers, academics, and organizations. Any coordinated effort by the AI industry to reduce openness or concentrate access to frontier AI would undermine that positive-sum future. We are committed to advancing a future where everyone can contribute to and benefit from AI progress.
We Must Pace the Frontier: I’ve written a new essay on why the AI industry should slow down, with a three-part plan for doing so. Anthropic is unilaterally committing to the first of these steps. We’ll provide third-party evaluators with permanent, employee-level access to our systems, so that they can verify adherence to our safety measures, report on incidents, and assess models’ alignment during training. You can read the full post here: darioamodei.com/post/we-must…
94
240
47
2,655
327,246
Maxence Faldor retweeted
Incredibly proud to be a co-director of @bold_lab_ai 🚀 Five outstanding labs, from three world-leading institutions, one shared mission — with the resources to deliver on it. Let's build something in the UK that the entire world can benefit from. 👉 bold-lab.ai
Hello world :) We are BOLD — the British Open-ended Learning and Discovery Lab! BOLD is a new academic research lab fully focussed on paradigm breaking discoveries in fundamental AI. We work towards more efficient & open AI that is built around human needs and capabilities. To pursue these breakthroughs, we pioneer new modes of collaboration in academia that are more focussed, resourced, agile, and collaborative. Rather than fragmenting resources, today we are sunsetting 5 of the UKs leading AI labs to join forces under our joined scientific vision. Our vision is centered around three pillars: ⚡ Beyond backpropagation – questioning the foundations of the field. 🤝 Human-centric learning & discovery – treating humans as core to our algorithms 🤖 Embodied learning – fast learning and adapting methods that deal with the messy real world BOLD is backed by @UKRI_News and @EPSRC with £30M – and this is just the beginning. We are urgently looking for partners and sponsors to 10x this. 👉 ox.ac.uk/news/2026-06-22-oxf… 👉 bold-lab.ai @j_foerst, @CULLYAntoine, @tonizza82, @shimon8282, @tonizza82, Ani Calinescu & @_rockt
1
13
3
75
11,975
Hello world :) We are BOLD — the British Open-ended Learning and Discovery Lab! BOLD is a new academic research lab fully focussed on paradigm breaking discoveries in fundamental AI. We work towards more efficient & open AI that is built around human needs and capabilities. To pursue these breakthroughs, we pioneer new modes of collaboration in academia that are more focussed, resourced, agile, and collaborative. Rather than fragmenting resources, today we are sunsetting 5 of the UKs leading AI labs to join forces under our joined scientific vision. Our vision is centered around three pillars: ⚡ Beyond backpropagation – questioning the foundations of the field. 🤝 Human-centric learning & discovery – treating humans as core to our algorithms 🤖 Embodied learning – fast learning and adapting methods that deal with the messy real world BOLD is backed by @UKRI_News and @EPSRC with £30M – and this is just the beginning. We are urgently looking for partners and sponsors to 10x this. 👉 ox.ac.uk/news/2026-06-22-oxf… 👉 bold-lab.ai @j_foerst, @CULLYAntoine, @tonizza82, @shimon8282, @tonizza82, Ani Calinescu & @_rockt
22
51
27
239
102,482
Can large language models (LLMs) act as the imagination of a reinforcement learning (RL) agent? We found that if you let an LLM "dream" - not by hallucinating pixels, but by writing executable Python code - it can create an open-ended curriculum that drives progress in complex, long-horizon worlds. Introducing Dreaming in Code (DiCode). 🧵👇
7
22
5
84
25,225
Maxence Faldor retweeted
A recipe for endless self-improvement toward Embodied AGI: 🧬🤖 1️⃣ Genie 3 generates the world. 2️⃣ Gemini (Task Setter) makes a task. 3️⃣ SIMA 2 acts. 4️⃣ Gemini (Reward Model) scores the video. The agent continuously generates its own experience and learns from it! [1/N]
33
101
27
660
148,207
Maxence Faldor retweeted
The narrative around LLMs is that they got better purely by scaling up pretraining *compute*. In reality, they got better by scaling up pretraining *data*, while compute is only a means to the end of cramming more data into the model. Data is the fundamental bottleneck. You can't scale up pretraining compute without more data. And so far this data has been chiefly human-generated -- over 20,000 people have been employed full-time for the past few years to provide annotations to train LLMs on. Even when the data is coming from RL envs, the envs still had to be purposely handcrafted by humans. And that's the fundamental bottleneck here: these models are completely dependent on human output. They are an interpolative database of what we put into them.
90
171
37
1,596
119,039
Maxence Faldor retweeted
We’re excited to introduce ShinkaEvolve: An open-source framework that evolves programs for scientific discovery with unprecedented sample-efficiency. Blog: sakana.ai/shinka-evolve/ Code: github.com/SakanaAI/ShinkaEv… Like AlphaEvolve and its variants, our framework leverages LLMs to find state-of-the-art solutions to complex problems, but using orders of magnitude fewer resources! Many evolutionary AI systems are powerful but act like brute-force engines, burning thousands of samples to find good solutions. This makes discovery slow and expensive. We took inspiration from the efficiency of nature. ‘Shinka’ (進化) is Japanese for evolution, and we designed our system to be just as resourceful. On the classic circle packing optimization problem, ShinkaEvolve discovered a new state-of-the-art solution using only 150 samples. This is a big leap in efficiency compared to previous methods that required thousands of evaluations. We applied ShinkaEvolve to a diverse set of hard problems with real-world applications: 1/ AIME Math Reasoning: It evolved sophisticated agentic scaffolds that significantly outperform strong baselines, discovering an entire Pareto frontier of solutions trading performance for efficiency. 2/ Competitive Programming: On ALE-Bench (a benchmark for NP-Hard optimization problems), ShinkaEvolve took the best existing agent's solutions and improved them, turning a 5th place solution on one task into a 2nd place leaderboard rank in a competitive programming competition. 3/ LLM Training: We even turned ShinkaEvolve inward to improve LLMs themselves. It tackled the open challenge of designing load balancing losses for Mixture-of-Experts (MoE) models. It discovered a novel loss function that leads to better expert specialization and consistently improves model performance and perplexity. ShinkaEvolve achieves its remarkable sample-efficiency through three key innovations that work together: (1) an adaptive parent sampling strategy to balance exploration and exploitation, (2) novelty-based rejection filtering to avoid redundant work, and (3) a bandit-based LLM ensemble that dynamically picks the best model for the job. By making ShinkaEvolve open-source and highly sample-efficient, our goal is to democratize access to advanced, open-ended discovery tools. Our vision for ShinkaEvolve is to be an easy-to-use companion tool to help scientists and engineers with their daily work. We believe that building more efficient, nature-inspired systems is key to unlocking the future of AI-driven scientific research. We are excited to see what the community builds with it! Learn more in our technical report: arxiv.org/abs/2509.19349
33
248
35
1,380
360,677
Maxence Faldor retweeted
Almost exactly 10 years after joining @imperialcollege as a Postdoc, I am honoured to announce that I am now Professor in Machine Learning and Robotics! 👨‍🎓 🤖 My fantastic team found the best gift to celebrate this special occasion!
32
6
237
11,547
Maxence Faldor retweeted
Harder, Better, Faster, Stronger, Real-time! We are excited to reveal Genie 3, our most capable real-time foundational world model. Fantastic cross-team effort led by @jparkerholder and @shlomifruchter. Below some interactive worlds and capabilities that were highlights for me 🌎👇
53
181
112
1,392
169,655
Had a great time at #ICLR2025, especially at the Robot Learning Workshop, where our paper Instant Policy (w/ @Ed__Johns) won the Best Paper Award! It's an exciting time for in-context learning and robotics! 🦾 robot-learning.uk/instant-po…
4
7
1
96
4,449
Maxence Faldor retweeted
Several people from the AIRL lab and I are at ICLR'25 this week. Come to see our latest work and have a chat. See below for the full program!
1
9
1
35
4,785
Maxence Faldor retweeted
We will be presenting OMNI-EPIC today afternoon at #ICLR2025 ! Do drop by to say hi, ask questions, or give any feedback 🤩👂 work done together with @maxencefaldor, @CULLYAntoine, @jeffclune
12
1
61
17,747
Maxence Faldor retweeted
Thrilled that we have been recognized as a Top 100 AI startup! So proud of our team. ✨
1
5
21
3,255
Maxence Faldor retweeted
Presenting Intelligent Go-Explore at poster #282 now! @shengranhu @jeffclune
Excited to introduce Intelligent Go-Explore: Foundation model (FM) agents have the potential to be invaluable, but struggle to learn hard-exploration tasks! Our new algorithm drastically improves their exploration abilities via Go-Explore + FM intelligence. Led by @cong_ml🧵1/
1
7
59
6,542