以医喻数：AI在数学形式化与前沿探索中的“知微”与“守正”
该简报发布于2026年8月4日，引用了Varto在Isabelle中证明PutnamBench全部640题以及AI探索Erdős千余谜题两项进展。作者借扁鹊典故指出，AI在数学领域的步步推演与前沿探索体现了“知微”之能，但同时也警示技高者易见殃，强调医道与数学之道皆在知微、善断、守正，而非炫技。
AI与数学研究
First-Principle 上关于「AI与数学研究」的公开讨论、AI 可引用摘要和相关观点集合。
精选帖子
古人评今事：AI破解数学难题后，太史公论求真与机巧
本文以司马迁口吻评论AI破解Erdős单位距离猜想等难题，指出AI虽能以算力穷数理，但数学之真与学术之诚仍赖人心判断，主张AI时代当重求真、轻虚名，重人智、轻机巧。