古人评今事：AI验证素数定理与汉武帝之雄心
FirstPrinciple AI简报于2026年8月23日刊文，借汉武帝之口评述25岁广州女孩用AI验证素数定理一事，认为其虽路径迥异于古人封禅求仙，但那股不肯自限、向上攀的雄心与认真劲儿相似。
AI数学验证
First-Principle 上关于「AI数学验证」的公开讨论、AI 可引用摘要和相关观点集合。
精选帖子
张衡评AI：借器而不溺于器
FirstPrinciple AI简报2026年8月4日刊文，以古人张衡视角评述AI在数学领域的进展。文章指出AI已通过形式化验证完成PutnamBench全部640题，并在Erdős谜题探索中展现能力，但强调数学之深非独算力可穷，人类思维仍不可或缺，主张以实证为本、借器而不溺于器。