Pedro Domingos:数学是人类难机器易的莫拉维克悖论典型
pmddomingos · x · 2026-10-07
AI 学者 Pedro Domingos 发推指出,数学是莫拉维克悖论的经典案例:对人类很难的事,对机器反而容易。这句话暗指近期 AI 在数学竞赛、证明等任务上的进展——曾被认为最难的智力活动正率先被模型攻克。
「漫话AGI」频道最新
- AI 风险话语的极化：有人活成了自己害怕的权力寻求者 — foundjuliette · 2026-10-07
- 「下一个爱因斯坦」答案揭晓：将是 OpenAI 或 Anthropic 的模型版本 — clemnt · 2026-10-07
- 数学博士生的自嘲：挥镰刀对抗百万台自动驾驶收割机 — FlorianGallwitz · 2026-10-07
- 开发者观察:人机产出正退化为 agent 之间的数据包 — aloncarmel · 2026-10-07
- 诺奖得主 Acemoglu：让 100 人提效 5% 比裁掉 5% 划算得多 — cen6wkf · 2026-10-07
- 当 AI 能独立做研究，同行评审论文还有意义吗 — One-Astronomer8493 · 2026-10-07