AlphaZero
1 statements across 1 episodes · 1 bullish · 0 bearish · 1 people on the record · first statement Nov 14, 2024 by Thomas Hubert · said 11 times in 3 episodes since 2023 · across every show →
Mentions by year
brought up most by Thomas Hubert (5), Rishi Mehta (3), Noam Brown (2), Sarah Guo (1)
tap a year for its mentions
2025 1 mention in 1 episode
2024 8 mentions in 1 episode
2023 2 mentions in 1 episode
Everything said about AlphaZero, oldest first
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…”