智能体形式化验证显示数学预印本并无缺陷

开发者使用智能体对约 4 篇现有数学预印本论文进行了形式化验证（部分论文仅部分形式化），结果发现这些论文实际上并未包含任何缺陷。这一结果反驳了此前关于“数学论文充满错误”的断言，也为数学预印本的可靠性提供了来自自动化验证工具的初步证据。

2026-08-27 ~ 2026-08-27 · 2 条相关