formal math systems
1 statements across 1 episodes · 1 bullish · 0 bearish · 1 people on the record · first statement Nov 11, 2024 by Stanislas Polu · across every show →
Everything said about formal math systems, oldest first
Nov 11, 2024 positive
Polu: Combining LLMs with formal math pairs creativity with proof verification
“Transformers are very creative, but yet they do mistakes. And formal math systems are the ability to verify a proof. And the tactics they can use to solve problems are very mechanical. So you miss the creativity. And so the idea was to try to explore both toge…”