A four-hour conversation with Carina Hong on AI for Math, Lean, proof and intuition
Summary
Jùn Zhang and Carina Hong discuss translating mathematics into Lean, formal proof, mathematical intuition and building an AI-for-math company.
Evidence & checks
- Discovery channel
- 张小珺商业访谈录
- Original material
- www.xiaoyuzhoufm.com
- Material type
- Source page; material type not verified
- Material basis
- Retrieval basis unknown
- Review status
- No human-review record