AI models are starting to crack high-level math problems
TechCrunch Industry News
00:00
Formalization's growing role
Unknown Speaker highlights Lean proof assistant and tools that ease formalizing proofs to verify and extend AI results.
Play episode from 04:20
Transcript
