陶哲轩提议：应把部分数学开放问题划为 AI 禁区
Outside-Iron-8242 · reddit · 2026-09-03
菲尔兹奖得主 Terence Tao 在 Mathstodon 提出观点：AI 时代前悬而未决的数学开放问题，是稀缺的「未被污染」基准资源——一旦有人公布解答，就很难判断未来 AI 是独立解出还是在训练数据中见过答案。他同时指出开放问题对培养数学家和发展新技术的价值，建议数学社区或可通过社会规范把部分问题划为自动求解器的禁区，同时引导 AI 转向其他问题。
「漫话AGI」频道最新
- Ajeya Cotra:最危险的 AI 夺权路径是内部失控部署搭上智能爆炸 — MoonL88537 · 2026-09-03
- 黎曼假设新证明出炉,AxiomProver 已形式化验证 — Afinetheorem · 2026-09-03
- CEPR 论文：AI 投资近年开始带来生产率增长，关键在组织资本积累 — soumitrashukla9 · 2026-09-03
- 向量做计算、符号做出口：一场关于 neurosymbolic 的吐槽 — MoonL88537 · 2026-09-03
- OpenAI Astra预期：超越基准测试的质变 — haider1 · 2026-09-03
- AI哲学讨论：学者指引与birchlse的交流 — anilkseth · 2026-09-03