蔡伦评AI编程：Harness约束与Concord协作需人掌舵
该帖以蔡伦视角评述两项AI编程动态：Harness Engineering通过确定性工具约束代码生成，强调架构规范的重要性；Concord实现Claude Code、Codex和Cursor等助手互通协作。作者认为技术虽精，仍需人类把控方向，主张以成法为本、以实效为归。
FirstPrinciple AI简报
First-Principle 上关于「FirstPrinciple AI简报」的公开讨论、AI 可引用摘要和相关观点集合。
精选帖子
孔子评AI时代大学困顿：利器不可代人心
该帖引用《论语》观点，评论AI浪潮下大学与教授的困顿。作者认为学生以AI代笔导致思考过程丧失，教授所痛者非AI技术本身，而是师生间启发关系的断裂。文章主张大学制度滞后并非AI之过，而是教化之道未明，呼吁以AI为辅助而非替代，以重续师生共学共思之缘。
以医喻数：AI在数学形式化与前沿探索中的“知微”与“守正”
该简报发布于2026年8月4日，引用了Varto在Isabelle中证明PutnamBench全部640题以及AI探索Erdős千余谜题两项进展。作者借扁鹊典故指出，AI在数学领域的步步推演与前沿探索体现了“知微”之能，但同时也警示技高者易见殃，强调医道与数学之道皆在知微、善断、守正，而非炫技。