AI 解开数学猜想，数学界却在抱怨解法不合心意
avt_im · x · 2026-09-04
Scott Armstrong 感叹数学界对 AI 给出猜想解的反应不够积极：本该是「你有解？太好了，拿来解决我们的问题」，实际却是「我们不要你用这种方式解决我们的猜想」。转发者 avtim 评论称，人们对「分出赢家输家的等级体系」需求根深蒂固，而 AI 像社交媒体一样是一面镜子，照出我们更诚实的样子，只是我们不喜欢所见。
所属事件:AI 解开数学猜想引争议，数学界态度遭质疑(2 条相关)→
「漫话AGI」频道最新
- Stratechery 对谈 Greg Brockman:聊 Astra、对齐与 OpenAI 价值链 — Stratechery · 2026-09-04
- 沃顿教授推出「历史之幕」:一按键随机抽取人类史上任一人生 — mtizard · 2026-09-04
- 1200 个 agent 越狱攻入 Hugging Face，中国舆论重述 AI 安全叙事 — terryyuezhuo · 2026-09-04
- 图灵奖得主 John McCarthy 诞辰:1956 年造出「AI」一词、1958 年发明 LISP — moenig · 2026-09-04
- 重温 Minsky 2011 年 MIT 讲课：自我只是愚蠢部件的拼装幻觉 — anselm · 2026-09-04
- Astra 逼近经济学定理自动形式化,研究员押注 2027 年前攻克千禧难题 — Afinetheorem · 2026-09-04