数学家争论 AI 数学产出估算:难题早已被充分形式化
_onionesque · x · 2026-10-07
onionesque 参与关于 AI 数学能力的小范围讨论，反驳「千年数学家产出」「一打 Scholze」这类估算的口径：这些被 AI 攻坚的难题往往已有多年尝试积累、形式化程度足够高，真正的「数学」是从问题通向结果的路径，问题本身并不如数学界的社会动态看起来那么重要。他补充认为，未来的「露天开采」会揭示大部分工作其实早已完成、只待组合，而把这些证明去糙取精的过程或许能带来真正的概念性进展。
所属事件:OpenAI 数学发布震动学界，冲击波预计半年内波及编程(19 条相关)→
「漫话AGI」频道最新
- AI 浪潮下的数学博士生：如挥镰迎战自动驾驶收割机群 — FlorianGallwitz · 2026-10-07
- 开发者观察:人机产出正退化为 agent 之间的数据包 — aloncarmel · 2026-10-07
- 诺奖得主 Acemoglu：让 100 人提效 5% 比裁掉 5% 划算得多 — cen6wkf · 2026-10-07
- NYT 特稿：从滴滴司机到 DoorDash，被算法与 AI 未来收割的普遍感受 — S_OhEigeartaigh · 2026-10-07
- Scott Alexander 回应 Pinker：谁预测 AI 更准一目了然 — deanwball · 2026-10-07
- AI 工具全面上马也没用？从工具到 Agent 化组织的七阶段路径 — alex_verem · 2026-10-07