@gro_tsen · XAI 评分4545AI 意外发现 Lean 4 Bug,"证明"了 Collatz 猜想一个 AI 在尝试"证明"Collatz 猜想时,意外发现了 Lean 4 中的一个 bug。该事件由 Hacker News 社区分享,目前仅 2 分、暂无评论。产品#产品更新#推理#其他