形式化验证学者喊话：当年骂我们研究没用的人该道歉了
amplifiedamp · x · 2026-11-10
西北大学计算机科学教授 TaliaRinger（形式化方法与类型理论领域知名学者）发帖称：那些多年来嘲笑验证（verification）与类型理论研究「没用」的人，现在大概该承认自己错了，或许还该为「既刻薄又错了」道个歉。背景是 AI 代码生成兴起后，形式化验证与类型系统对保证程序正确性的价值被重新认识，属于 AI 圈有观点的行业争论。
「漫话AGI」频道最新
- 模型层价值易逝,harness 才是 AI 长期价值所在 — DrDatta_AIIMS · 2026-11-10
- 1985 年旧刊封面预言「计算机即毒药」，映照今日 AI 之争 — beffjezos · 2026-11-10
- 剑桥十年走出一代 AI 安全掌门人：FAR AI、METR、UK AISI 皆出其门下 — S_OhEigeartaigh · 2026-11-10
- 漫画探讨 AI 科学家崛起：下一章科学将不再由人类书写 — YogeshMalik · 2026-11-10
- 研究者建议弃用 Alignment 一词：语义太杂易致对话双方各说各话 — Sauers_ · 2026-11-10
- 博主宣布拒用 AI 创作自称内容有机器味 — Abhishekcur · 2026-11-10