Carina Hong: Can AI Do Math? Lean Proofs, Ancient Intuition & the Mystery of Mathematics

张张小珺主持 · Zhang Xiaojun Podcast

频道: Zhang Xiaojun Podcast
视频: 4:23:11
原文: 简体中文

在 YouTube 打开

文章还没有生成我们已经收录了这个视频的信息，但文章还没写好。可以先去 YouTube 观看。在 YouTube 打开

同频道的其他文章

Zhang Xiaojun Podcast· 2025年12月9日播客 · 2 人对谈朱啸虎：三年内看不到泡沫，共识太集中就错开十五度嘉宾朱啸虎 · 主持张小珺2025 年底，金沙江创投朱啸虎第三次坐到张小珺对面：AGI 不谈了，入口之争开始了。他不投人形机器人，把支票开给洗船和按摩这类「干活」的公司。Venture CapitalAI StrategyOpenAI+2