LLM 能否提出优于人类的数学猜想？证据尚不明朗
tobyordoxford · x · 2026-08-24
Toby Ord 与 David Manheim 讨论了当前 LLM 在生成数学问题/猜想方面的能力。Toby 认为人类数学家的问题质量远高于随机命题，但同时也承认人类选题存在不均和选择偏差。目前尚无明确证据表明 LLM 在这方面优于或劣于人类。
所属事件:Toby Ord：AI 自动化证明，但数学不止证明(9 条相关)→
「漫话AGI」频道最新
- 机械可解释性老将反思:对齐≠误解泛化,CoT 监督的隐忧 — akbirthko · 2026-10-16
- GitCoin 创始人解读 Nick Land「技术资本」:资本主义的终局是一台自我组装的机器智能 — khademinori · 2026-10-16
- 分析师警告: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