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