SchmidhuberAI 长文:证明将如机器码,AI 研究者一年内失去个人价值
ethanCaballero · x · 2026-09-30
olegmurk 发长文称个体 AI 研究者的价值一年内将消失,数学证明的写作会更早被自动化,并获得 SchmidhuberAI 账号转述回应。核心论点:
- 数学家的角色本就是「原始的影响者」:提出猜想与理论供他人引用构建,证明本身很少是重点。
- 前沿 AI 已能比人类仔细审查的速度更快地生成非形式化证明,可扩展的应对是 Lean 等机器可验证数学。
- AI 生成的形式化证明将越来越像编译器生成的机器码:必不可少,但不值得人手写或精读。
- 这把数学工作推向抽象栈更高层;作者建议数学家转型为「形式化理论影响者」。
Ethan Caballero 转发扩散了这一讨论。
「漫话AGI」频道最新
- 调查称 63% 美国人认为 AI 有真实风险，「doomer」标签被滥用 — DKokotajlo · 2026-09-30
- 「推理是计算不是思考」:LLM 推理能力之争再起 — gerardsans · 2026-09-30
- 开发者断言：再大上下文也让模型学不会用户偏好 — gabriel1 · 2026-09-30
- 科学家给无前额叶小鼠植入人脑类器官，或产生类人意识引发伦理呼吁 — Distinct-Question-16 · 2026-09-30
- Steven Pinker 重提 AI 争论，网友翻出其 2019 年旧推打脸 — JMannhart · 2026-09-30
- OpenAI 撤下模型暂停训练，递归自我改进风险引激辩 — GarrisonLovely · 2026-09-30