张小珺Jùn｜商业访谈录
2026年4月28日
137. 对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造与被发现的
嘉宾
洪乐潼
Co-Founder and CEO, Axiom Math
张小珺Jùn
财经作者，曾供职《财经》，现在是腾讯新闻科技主笔，播客《张小珺Jùn | 商业访谈录》制作人
节目简介
YouTube video by Zhang Xiaojun Podcast
Episode Summary
“137. 对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造与被发现的” is an episode from 张小珺Jùn｜商业访谈录, featuring 洪乐潼, 张小珺Jùn. YouTube video by Zhang Xiaojun Podcast
Featured Guests
洪乐潼 (Co-Founder and CEO, Axiom Math) · 张小珺Jùn (财经作者，曾供职《财经》，现在是腾讯新闻科技主笔，播客《张小珺Jùn | 商业访谈录》制作人)