ER
Erdos 单位距离问题 (Erdos unit distance problem)
概念
本站收录 1 集 · 0 条金句 · 关联 10 个
集里怎么说它
- 《AI解数学题≠理解数学》(00:36起):本集说这是目前为止最喜欢的由 AI 完全自主完成的结果，它从意想不到的领域引入了 60 年代的分类思想，证明了该领域普遍相信为真的猜想实际上是假的
② 出现在这些集
1 集
- 《AI解数学题≠理解数学》 — 作为概念
③ 关联
点进去有真内容 —— 本页主要出口
Lisha Lee · Daniel Litt · OpenAI · Anthropic · ChatGPT · Claude · Codex · RL · Lean · 直觉