**AI 热帖：大模型如何重塑智力工作与人类未来**

_AI, Intellectual Work, Humanity, and the Future_

> 文章指出，尽管距离通用人工智能（AGI）尚有距离，但大语言模型（LLM）在形式化与先验问题（如数学证明）上的突破已颠覆了原有认知。近期进展包括 OpenAI 的 NS 方案及多项数学难题的解决，且 Scaling Law 依然有效。作者认为，LLM 通过结合人类数学知识成功引导了 Lean 4 形式化验证与强化学习，解决了传统方法奖励稀疏的难题。在安全方面，作者对漏洞数量增加持乐观态度，并认为通过形式化验证、沙箱隔离及人类模仿等策略，可有效应对奖励黑客等伦理风险。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：行业
- **发布时间**：2026-10-27 22:31（北京时间）
- **原文**：[打开原文](https://ycao.net/posts/llm-after-four-years/en)