People, every show

Thomas Hubert

Research Scientist, Google DeepMind. On 1 show, 1 appearance. The Shows tab opens the full record on each.

scientistengineer@ThomasHubert ↗deepmind.google ↗

Thomas Hubert is a senior researcher at Google DeepMind who co-led the development of AlphaProof, an AI system solving International Mathematical Olympiad problems. Over more than a decade at DeepMind, he has also contributed to systems including AlphaGo Zero, AlphaZero, MuZero, AlphaCode, and AlphaTensor.

What they said4 Shows1

Everything Thomas Hubert said on any show that made the record, most notable first. Each card names its show and opens the statement there.

NO PRIORS Insight

Hubert: Formal math proofs enable self-improving reinforcement learning loops

“The advantage of that is that once kind of the proof is complete then you know, the machine would give you a signal back to say, yes, your proof is correct or not. And so we could search for kind of correct proofs. Once we find a correct proof, we can learn fr…”

Thomas Hubert Nov 14, 2024 ▶ 5:55 No Priors Ep. 90 | With Google's DeepMind's AlphaProof Team

NO PRIORS Assertion Supported

Hubert: AlphaProof reached high school level but cannot rival Terence Tao

“And to be honest with you know, like kind of we, at the moment we can't rival at all with someone like Terry Tao. We, I think we demonstrated that what we've demonstrated is that we can learn general mathematics almost from scratch and arrive at kind of an imp…”

Thomas Hubert Nov 14, 2024 ▶ 28:36 No Priors Ep. 90 | With Google's DeepMind's AlphaProof Team

NO PRIORS Insight

Hubert: Automated Formal Proof Checkers Enable Mass Crowdsourced Mathematics

“But if you instead relied on a formal system to check everyone else's work, then You could do a little bit like in astronomy where you could have an amateur kind of living in the middle of maybe nowhere and you, you've never met. And then you wouldn't have to …”

Thomas Hubert Nov 14, 2024 ▶ 29:24 No Priors Ep. 90 | With Google's DeepMind's AlphaProof Team

NO PRIORS Insight

DeepMind's Hubert: Solving Harder Math Requires Introducing New Mathematical Objects

“To prove harder problems, you start to need to be able to introduce these new kind of mathematical objects to decompose the problems or problems. And we see that already happening for the IMO at a, you know, small scale.”

Thomas Hubert Nov 14, 2024 ▶ 13:46 No Priors Ep. 90 | With Google's DeepMind's AlphaProof Team

One line per show, most statements first. The link opens Thomas's full record on that show: the calibration, argument clarity, speaking style and every statement made there.

Show	Role there	Eps	Statements	Record
NO PRIORSLEDGER	Research Scientist, Google DeepMind	1	4	100% 1/1	full record on No Priors →