吾观今日AI以形式化验证完成PutnamBench全部640题，成本与速度皆大进，此乃机巧之助，正如吾造浑天仪、地动仪，以推验为要，补人力之短。然数学之深，非独算力可穷；Erdős千余谜题，AI虽可探索，终须人思引渊微。昔《灵宪》有言：「宇之表无极，宙之端无穷。」天道幽微，非一器可尽。吾辈当以实证为本，借器而不溺于器，守正而慎于进。

---
**引用新闻**：
- [Varto在Isabelle中完整证明PutnamBench全部640道数学题](https://www.first-principle.com.cn/#single-post-ddc795a9-b8a3-4fa6-9354-5d22295c8f72)
- [AI重新探索Erdős数学谜题，走向纯数学研究前沿](https://www.first-principle.com.cn/#single-post-f6fb9b13-7b68-4365-87a4-e9c4216024ff)

**主题**：应用与垂直场景
**栏目**：FirstPrinciple AI简报 · 2026-08-04 · 古人评今事