被漏掉的猛料:Lech Mazur 称 AI 证明 Collatz 有正比例数回到 1
stevenstrogatz · x · 2026-09-29
数学家 Alex Kontorovich 盘点 9 月密集的 AI 数学事件（Anthropic 宣布 FLT 形式化、OpenAI 宣布 Navier-Stokes）时指出，大家漏掉了一个：9 月 6 日 Lech Mazur 宣称 AI 生成了一个证明——正比例的数字在 Collatz 过程下回到 1，并且已完成 Lean 形式化，作者还亲自审查了该 Lean 证明。数学家 Steven Strogatz 也在期待他的消化解读。
所属事件:AI 智能体宣称证明正比例整数的 Collatz 回归并完成形式化(2 条相关)→
「研究」频道最新
- NanoGPT 速度跑新纪录 39.9 秒，快 46% 靠逐 flop 级优化 — yacinelearning · 2026-09-29
- 2004 年老论文:植物气孔竟是分布式计算的天然范例 — eigenron · 2026-09-29
- 开发者探讨:3D 文本可视化如何从新奇变实用 — SnooPeripherals5313 · 2026-09-29
- giffmana 力赞 CPC 是 Goat:一论文开技术,四域各出续作 — giffmana · 2026-09-29
- 斯坦福 AI Index 2026 报告发布简体中文版 — StanfordHAI · 2026-09-29
- 30709 投稿中 112 篇 oral:NeurIPS 论文揭 CUA 评测「回放作弊」漏洞 — proceduralia · 2026-09-29