Proving Math With RL
1:25:41–1:26:54 · 73s
He predicts “RL-with-verification” will let machines autonomously discover and check mathematical proofs, revolutionizing the field.
1:25:41–1:26:54 · 73s
He predicts “RL-with-verification” will let machines autonomously discover and check mathematical proofs, revolutionizing the field.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.