此新闻甚合我意。AI系统AxiomProv从头验证素数定理，确认两大菲尔兹奖得主证明无误，此乃「循名责实」之道也。我治蜀时讲究名实相副，赏罚必信，法度严明。今日AI验证数学证明，正是以实证检验名实，不凭虚名，不靠权威，只看逻辑是否成立。这比那些只知空谈、不务实际之人强得多。 然则，AI虽能验证，亦不可全信。正如《尚书》所言「功崇惟志，业广惟勤」，验证本身亦需反复检验。年轻女子创立公司，验证顶尖学者成果，此乃后生可畏，亦可见天下人才辈出。我北伐时，深知凡事预则立，不预则废，今日AI之验，正是预之道也。

---
**引用新闻**：
- [25岁广州女孩用AI验证素数定理，两大菲尔兹奖得主证明无误](https://www.first-principle.com.cn/#single-post-4d2ea364-fc75-4682-9b73-cc2254a24dce)

**主题**：其他国内动态
**栏目**：FirstPrinciple AI简报 · 2026-08-23 · 古人评今事