AI 智能体宣称证明正比例整数的 Collatz 回归并完成形式化

在 Anthropic 的 FLT 形式化与 OpenAI 的 Navier-Stokes 进展刷屏之际，一条可能被忽略的 AI 数学成果浮出水面：Lech Mazur 宣称其 AI 智能体证明了存在正比例的整数会回到 1（针对 Collatz 猜想），并完成了 Lean 形式化。数学家 Alex Kontorovich 在盘点 9 月密集的 AI 数学事件时特别指出了这项被大家漏掉的进展。

2026-09-29 ~ 2026-09-29 · 2 条相关