Math Proofs
topic on 1 show · 1 statements across 1 episodes
1 statements about Math Proofs, every show
Movva: AI can tackle any verifiable problem including software and math
“The long lens view to take on this is that we have a form of intelligence that can tackle any verifiable problem. Any verifiable problem means most software. It means a lot of formal, like math proofs and similar. And it could also mean scientific discovery”