会幻觉的证明代理，也可能成发现引擎
kevrussell · x · 2026-07-14
这条帖子的核心观点是： - 一个会“幻觉出漂亮证明”的 agent 本身是危险的，因为它可能生成看似优雅、实则不成立的结果。 - 但如果所在生态能让这种证明无法通过审查、复核与验证，那么它反而可能成为一个“发现引擎”：先产生候选，再由审稿/验证机制筛掉错误、保留真正有价值的发现。 引用的上下文还提到一个研究/证明 sprint 已完成，发布了 v1.1 版本和 DOI，包含可运行的证书、验证脚本，以及对若干结果的正式记录，强调“clone、make verify、相信你的机器”这种可复现实证流程。