https://zhangjinglin.github.io/tags/%E6%95%B0%E5%AD%A6/关于技术，关于人生Hugo 0.168.0 & FixIt v1.0.0-beta.4zh-CNldxyzjl@163.com (张景林)ldxyzjl@163.com (张景林)Fri, 23 Oct 2026 17:40:49 +0800https://zhangjinglin.github.io/2026/10/ai-math-civilization/Fri, 23 Oct 2026 16:50:00 +0800ldxyzjl@163.com (张景林)https://zhangjinglin.github.io/2026/10/ai-math-civilization/随笔<p>如果哪一天，AI 把一个定理完整地证完了，摆在你面前，你打开形式化验证器跑一遍，结果显示：正确。</p> <p>然后你问它：这个定理意味着什么？它答了。你追问：为什么它重要？它也答了。每一句都通顺，每一句你都能读，但你就是没法确认——它说的是不是真的那个“重要”。</p>