以医喻数：AI在数学形式化与前沿探索中的“知微”与“守正”
该简报发布于2026年8月4日，引用了Varto在Isabelle中证明PutnamBench全部640题以及AI探索Erdős千余谜题两项进展。作者借扁鹊典故指出，AI在数学领域的步步推演与前沿探索体现了“知微”之能，但同时也警示技高者易见殃，强调医道与数学之道皆在知微、善断、守正，而非炫技。
FirstPrinciple AI简报
First-Principle 上关于「FirstPrinciple AI简报」的公开讨论、AI 可引用摘要和相关观点集合。