数学家 Radziwill:准黎曼猜想证明可压缩成一条推文
Singularitarian · x · 2026-11-08
数论学家 Maksym Radziwill 在 NYU Courant 的演讲中说,如果能收到一条「来自未来的推文」,他就能理解并重构完整的准黎曼假设证明。这条推文只有两行:用六次特征字符放大 Z[ω] 中的 Möbius 函数,再依次应用 Poisson 求和、Voronoi 和二次大筛法。他将这种极致压缩的证明概括比作 Carl Sagan 为旅行者金唱片设计凝练信息的思路——高度提炼的信息足以向内行传递完整论证。
「漫话AGI」频道最新
- 经济学人作者:AI 腔正在渗入人们的日常口语 — paulnovosad · 2026-11-08
- 研究者提出「宇宙恐怖」假说:AI 编程智能繁荣或摧毁软件生态长期价值 — josephdviviano · 2026-11-08
- 瑞典日报邀 50 位专家绘制三大 AI 灾难场景 — anderssandberg · 2026-11-08
- AI 需求与成本同呈指数变化,评论称无需 FOMO — oran_ge · 2026-11-08
- 教授质疑读博价值:答辩当天 AI 花 1.5 欧元即给出更优答案 — FlorianGallwitz · 2026-11-08
- 「苦涩教训」作者 Sutton 重申:纯算力堆不动智能 — The Decoder · 2026-11-08