数学家称 AI 证明组合猜想却无处分享，如何处理成难题
tak3sh8 · x · 2026-10-20
一位数学家发帖称，让 AI 应用一篇近期论文中的技术，成功证明了一个知名但不算著名的组合数学猜想。他自己不在乎署名，认为真正有价值的部分（技术）来自论文，但现在不知道该怎么办：是尝试形式化验证这个证明，还是有没有一个专门的仓库让人们分享 AI 的证明成果，为下一位数学家省下数小时的提示成本？
帖子折射出 AI for Math 的一个现实问题：AI 产出的数学成果尚缺公认的验证与共享机制。
所属事件:数学家用论文技术让 AI 证出组合猜想却困惑如何分享(2 条相关)→
「漫话AGI」频道最新
- 评论人称 Anthropic 应在 IPO 前宣布暂停发布 Fable 5.5 以示诚信 — ShakeelHashim · 2026-10-20
- 当人人都有赚钱 Agent：算力就是新的 UBI？ — flowersslop · 2026-10-20
- 百万播放创作者:20-30% 网络帖子与评论已由 AI 参与生成 — Unique_Ad_330 · 2026-10-20
- 「你敢让 agent 替你做的最小动作是什么」引发信任梯度讨论 — NecessaryCheck3295 · 2026-10-20
- Carissa Véliz 金句：算法常是公司执行权力意志的「杀手」 — CarissaVeliz · 2026-10-20
- 英国政府顾问警告：再不加速恐沦为 AI「高价值客户」 — Polymarket · 2026-10-20