#考拉兹猜想

Ramana Kumar 用 AI 声称推翻考拉兹猜想，结果败给 Lean 内核漏洞，4.32.2 已修复。