📰 AI 辅助“推翻”考拉兹猜想失败，Lean 4.32.2 修复内核漏洞

IT之家 8 月 4 日消息，科技媒体 Gigazine 昨日（8 月 3 日）发布博文，报道称一项借助 AI 完成、声称推翻考拉兹猜想的 Lean 形式化证明被确认无效。

IT之家注：考拉兹猜想（又称奇偶归一猜想 / 3n+1 猜想）由德国数学家洛塔尔 · 考拉兹（Lothar Collatz）于 1937 年提出，是一个表述极其简单但至今未解的数学难题，断言任意正整数在经过特定规则的反复迭代后，最终都一定会回到 1。

其计算规则是对于任意一个正整数 n：

• 如果 n 是偶数，就把它除以 2
  
  查看原文 → ^↗