AI 四周完成编程语言论文，冲击学术出版文化
burny_tech · x · 2026-08-15
Ilya Sergey 撰文分享，利用前沿 LLM 在四周内完成了生产级编译器规模的形式化证明工作，该成果已被 OOPSLA 2026 接收。他指出，过去消耗 80-90% 人力工作的机械化验证现已可由 AI 快速完成，但这引发了学术界的质疑，因为人们仍习惯于以“可见的人力劳动”来衡量研究价值。作者认为，这种看重苦劳而非思想的出版文化正在改变，AI 正在剥去科研中那层由人力堆砌的“包装”。
「漫话AGI」频道最新
- 传 Nick 可解释性研究重大突破,好到 Yudkowsky 也得下调 p(doom) — QuintinPope5 · 2026-10-16
- 机器人创业者在 2021 年就押注的冷门方向：部署层上下文 — broodsugar · 2026-10-16
- RFdiffusion3 登上 Science,同步开源生物分子设计 agent 框架 Chaperone — anshulkundaje · 2026-10-16
- 激进预测：2028 年起无新工作岗位，2030 年前全员失业 — davidpattersonx · 2026-10-16
- 网友激辩 Apollo 研究：自我对齐趋势是否预示恶性演化 — teortaxesTex · 2026-10-16
- 数学家为何而哭：菲尔兹奖得主亲述被 AI「清盘」的技术性哀伤 — stevenstrogatz · 2026-10-16