跨国深谈← 返回←Daniel Litt

① 他说过的话

3 条

话虽如此，数学的目标并不是产生数学论文。
That said, the goal of mathematics is not to produce mathematics papers.
—— Daniel Litt · [34:48]

指向原始笔记的链接

你可以拿 Codex。你可以说，上网找五个代数几何中最近的猜想并证明它们。
You can take Codex. You can say, go online and find five recent conjectures in algebraic geometry and prove them.
—— Daniel Litt · [36:44]

指向原始笔记的链接

它们不生成长长的、复杂的证明的原因是它们做不到。
The reason they’re not producing long, complicated proofs is that they cannot.
—— Daniel Litt · [52:47]

指向原始笔记的链接

② 出现在这些集

1 集

• 《AI解数学题≠理解数学》 — 作为联合主持

③ 他谈到的

点进去有真内容 —— 本页主要出口

Lisha Lee · OpenAI · Anthropic · ChatGPT · Claude · Codex · RL · Lean · 直觉 · 理论构建

④ 也在聊「智能体」的人