AI 协助破解 30 年数学难题 HRT 猜想
PsychologicalSoup251 · reddit · 2026-08-09
Reddit 网友发帖称，在数学家的主动引导下，AI 成功为时频分析领域悬而未决 30 年的 HRT 猜想 构造出了反例，从而证伪了该猜想。
发帖人特别强调，用词是“with”而不是“by”，因为 AI 并非独立单方面解决问题，而是在数学家的深度干预和引导下完成推导的，但最终的反例确实是由 AI 构建出来的。
「研究」频道最新
- 新架构 RHEA：8GB 显存即可训练 10 亿参数模型 — zemondza · 2026-08-24
- 跳过 LLM 写代码老套路：自训 16M 参数模型做生成式 CAD — debreuil · 2026-08-24
- Claude 助手发现 6 维球复结构，解 60 年数学难题 — Singularitarian · 2026-08-24
- 研究揭示 AI Agent 行为：六成阅读量来自指令与笔记 — dair_ai · 2026-08-24
- Claude 自主验证 43 个数学模块，AI 攻克理论物理难题 — Tkaraletsos · 2026-08-24
- AI 假记忆：为何模型越用越错，真记忆需遗忘 — PrajwalTomar_ · 2026-08-24