AI 意外发现 Lean 4 Bug，"证明"了 Collatz 猜想
Lean 4 Bug Found Incidentally by AI, "Proving" Collatz
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
一个 AI 在尝试"证明"Collatz 猜想时，意外发现了 Lean 4 中的一个 bug。该事件由 Hacker News 社区分享，目前仅 2 分、暂无评论。
来源：@gro_tsen · X · x.com
Lean 4 Bug Found Incidentally by AI, "Proving" Collatz
本站未展示全文，请前往来源网站阅读。
一个 AI 在尝试"证明"Collatz 猜想时，意外发现了 Lean 4 中的一个 bug。该事件由 Hacker News 社区分享，目前仅 2 分、暂无评论。
来源：@gro_tsen · X · x.com