Thomas Hubert
2 statements across 1 episodes · 2 bullish · 0 bearish · 1 people on the record · first statement Nov 14, 2024 by Thomas Hubert · across every show →
On the record as a speaker too: Thomas Hubert's record, appearances and statements → this page counts the times other people say the name.
Everything said about Thomas Hubert, oldest first
Nov 14, 2024 positive
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.”
Nov 14, 2024 positive
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…”