AI 冷解百年数学难题,zachtratar:更多学科的冲击将至
steipete · x · 2026-10-08
zachtratar 就 AI 大规模求解数学难题引发的争议发表看法:数学界眼睁睁看着毕生工作被"冷冰冰地解决"的痛苦,很快会蔓延到更多科学领域。"英雄主义已被算力取代"。他认为从社会角度看这是好事,但理解数学家们的痛苦。
被引用的 @orvietoantonio 则更为激烈:用集中资源把数学变成一场竞赛"令人作呕",那些本可以成为像 Andrew Wiles 证明费马大定理那样的励志故事,如今被批量发布数百个解答,毫无诗意。
「漫话AGI」频道最新
- Anil Seth 批判 Tavos 数字人 Griffin：造「假人」是灾难性错误 — mikeflache · 2026-10-09
- 研究者:开源模型风险分析只看能力不看单次攻击成本,会误判 — dhadfieldmenell · 2026-10-09
- tszzl 用巨型动物群灭绝类比回击"AI 会爱人类"的乐观论 — danfaggella · 2026-10-09
- 研究者：AI 泡沫若破，或因人们拒绝制造垃圾的工具 — IanArawjo · 2026-10-09
- LLM 冲击千禧年大奖:7 大难题已攻下 4 个,单个仅用 3 小时算力 — ycombinator · 2026-10-09
- 讽刺预测:人类逐年被踢出审查链,从代码到财务到一切 — danfaggella · 2026-10-09