math proofs
1 statements across 1 episodes · 1 bullish · 0 bearish · 1 people on the record · first statement Aug 25, 2026 by Neil Movva · across every show →
Everything said about math proofs, oldest first
Aug 25, 2026 positive
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”