Google DeepMind's Discovery team, in a project led by student researcher @dsantosmarco, has made new discoveries toward finding the 6th Busy Beaver (BB) number
On Oct 21, 2026, the Google DeepMind X account retweeted Tom Zahavy: over the past year, the DeepMind Discovery team, in a project led by student researcher @dsantosmarco, made new discoveries toward finding the 6th Busy Beaver (BB) number, one of the most beautiful open problems in computability theory. Unlike most AI math systems that solve human-set problems, this work explores another dimension of mathematical creativity: discovering hidden problems. This matters because Busy Beaver is a classic open problem in theoretical computer science, and AI moving from solving problems to discovering new mathematics marks another step forward for the AI-for-Science paradigm.
SOURCES
- Google DeepMind2026-10-21 15:00