热点事件持续更新
AI称已在Lean中形式化验证，仍被追问「你确定吗」
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月28日，AGI Hunt 报道，AI 圈流传一段对话：面对「你确定吗？」的追问，AI 回复称结果已在 Lean 中完成形式化验证，提问者却继续问「好吧，但你确定吗？」。报道将这则趣事解读为 AI 时代数学工作者的心态写照——即便有机器形式化验证，人类对「确定」依然本能地不安。报道未披露对话双方身份、所涉具体数学结果及验证细节。
AI 根据报道生成 · 2 小时前更新
最新进展10月28日 03:58
10月28日该对话被报道，引发对形式化验证与人类「确定感」的讨论。报道时间线
沿着报道，了解事件的不同侧面。
10月28日
- AGI HuntAI 称结果已在 Lean 中形式化验证，仍被追问「你确定吗？」
AI 圈流传一段对话：面对「你确定吗？」的追问，AI 回复结果已在 Lean 中完成形式化验证，提问者却继续问「好吧，但你确定吗？」。这则趣事被解读为 AI 时代数学工作者的心态写照——即便有机器形式化验证，人类对「确定」依然本能地不安。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。