数学研究的核心在于决定问什么问题
tobyordoxford · x · 2026-08-23
作者强调，正如在科学中一样，数学工作的很大一部分在于弄清楚该问什么问题。一个问题所包含的信息量几乎和它所探讨的命题一样多（是非问题比命题少一个比特，加上这个比特就变成了命题）。
所属事件:Toby Ord：AI 自动化证明，但数学不止证明(9 条相关)→
「漫话AGI」频道最新
- 分析师警告:AI 冲击下 50 岁以下消费者 10 万亿美元债务是银行隐患 — churchkey · 2026-10-16
- 美国国家实验室科学家出题，AI agent 基准 Into the Unknown 发布 — Jeande_d · 2026-10-16
- 未来开会的将是彼此的 AI，没有 AI 代理的人将失去竞争力 — danfaggella · 2026-10-16
- 投资人预测:一年内模型全面强 2-3 倍、成本降 10 倍,token 用量涨 10-20 倍 — DeryaTR_ · 2026-10-16
- 观点:RSI 是空洞术语,不存在递归自我改进的指数曲线 — gerardsans · 2026-10-16
- 研究员:AI 将替我们发现很多东西,但足球战术百年内依然精彩 — natanielruizg · 2026-10-16