Thomas Hubert

Research Scientist, Google DeepMind · 1 appearance on the record.

computed by AI from the episodes · how this works → · full disclaimer →

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.

4statements → 1claims → 1claims resolved → 4/5average certainty → 2/5average debate potential → ≈4.0/5argument clarity, estimated →

1 supported 0 partly supported 0 contradicted how the 1 claim stands · each chip opens the sources

1 assertion · 3 insights · every statement was checked. The predictions and assertion are the 1 claim: statements the public record can support or contradict. 1 is resolved. Everything else (opinions, insights, what ifs, disclosures) can never be settled by the record, so it carries no assessment.

The record, in short

What the tape says about how Thomas argues and how the claims held up. Everything they said, and everything said about them, is in the tabs below.

Their most notable supported claim

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

How they sound: not measured why? →

We measure speaking style by listening to the audio itself, and a fair number needs at least 2,000 words from one person on tape we have measured. There is too little of Thomas Hubert on measured tape to publish a rate. This says nothing about how they speak.

What they said4 Episodes1

Everything Thomas Hubert said on No Priors that made the record, most notable first. Filter by type, assessment or year in the ledger →

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

Assertion Supported

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

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

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

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

Appearances (1)

Episode	Date	Speaking time
No Priors Ep. 90 \| With Google's DeepMind's AlphaProof Team	Nov 14, 2024	13m

Thomas Hubert

The record, in short

Their most notable supported claim

How they sound: not measured why? →

Appearances (1)

Turn any episode into a week of clips.