AI 协助破解 30 年数学难题 HRT 猜想
PsychologicalSoup251 · reddit · 2026-08-09
Reddit 网友发帖称，在数学家的主动引导下，AI 成功为时频分析领域悬而未决 30 年的 HRT 猜想 构造出了反例，从而证伪了该猜想。
发帖人特别强调，用词是“with”而不是“by”，因为 AI 并非独立单方面解决问题，而是在数学家的深度干预和引导下完成推导的，但最终的反例确实是由 AI 构建出来的。
「研究」频道最新
- Lean v4.35.0 自带四个已验证内核，其中之一由 Claude 写成并自证一致 — geoffreyirving · 2026-10-16
- MP-Bench：语音 Agent 群聊插话判断仅与抛硬币相当 — solyarisoftware · 2026-10-16
- 对 Qwen3-8B 做神经元级 GWAS+PheWAS，定位安全相关神经元 — Sauers_ · 2026-10-16
- 770B 参数压进 214GiB：腾讯混元量化团队拆解 Hy4 Preview 压缩术 — coolmum18 · 2026-10-16
- 200 局国际象棋实测：作者认为上下文学习目前并不奏效 — akbirthko · 2026-10-16
- LARK-Lab 提出 Mosaic：跨会话的 Agentic 强化学习新范式 — LARK-Lab · 2026-10-16