「凸包」之争:LLM 会吃掉数学文献内可拼出的定理吗
notmisha · x · 2026-11-06
Noah Chrein 提出「凸包」类比:LLM 用全球算力把已有标准数学的不同组合穷举填满,剩下的只有凸包之外的部分——这反而极大有利于受过训练的数学家,因为他们知道哪些组合还没被拼过、何时需要发明新数学。
评论区数学家们认真争论这到底该叫凸包、半群还是线性张成,被楼主调侃为「最数学家可能的反应」。这场讨论触及 LLM 对数学研究方式的真实影响。
「漫话AGI」频道最新
- 牛津提出认知共生体范式:Physical AI 应增强人类智能 — Oxford · 2026-11-06
- Yacine 放话：所有人做大型号 RL 的方式都是错的 — yacineMTB · 2026-11-06
- 「再过几年就轮到我们了」：把 AGI 比作大航海时代的外星入侵 — AndyMasley · 2026-11-06
- 决策理论讨论：多智能体共享策略网络时，CDT+GT 指数级不确定性如何适用 — jessi_cata · 2026-11-06
- Agent 接管邮件与 Slack:一位产品人的「后读写」工作流实录 — curious_vii · 2026-11-06
- Epoch 研究员激辩：找不到 AI 提升慢的任务，本身就是加速的证据 — Jsevillamol · 2026-11-06