AI 四周完成编程语言论文，冲击学术出版文化

burny_tech · x · 2026-08-15

Ilya Sergey 撰文分享，利用前沿 LLM 在四周内完成了生产级编译器规模的形式化证明工作，该成果已被 OOPSLA 2026 接收。他指出，过去消耗 80-90% 人力工作的机械化验证现已可由 AI 快速完成，但这引发了学术界的质疑，因为人们仍习惯于以“可见的人力劳动”来衡量研究价值。作者认为，这种看重苦劳而非思想的出版文化正在改变，AI 正在剥去科研中那层由人力堆砌的“包装”。