研究者提「永恒问题」分类:排序 O(n log n) 下界永远成立
mboehme_ · x · 2026-10-25
安全研究者 mboehme 在与 Anthropic、Theorem Labs 相关的讨论中提出研究问题的三分类:
- 短暂性问题:人们关心一阵子,随技术进步、政策介入或社会关注转移而失去意义;
- 永恒性问题:一旦解决便永久成立,如可判定性——存在任何一致形式系统或自动算法都无法判定的命题,编程语言领域已充满此类已解问题;
- 基础研究:他认为是那些「无论技术、人力或政策如何变化都永远成立」的结论,例证是复杂理论中的下界——排序在最坏情况下不存在快于 O(n log n) 的算法。
这是对「AI 时代什么研究值得做」讨论的一个理论视角回应。
所属事件:研究者激辩「永恒问题」：AI 时代何为基础研究(8 条相关)→
「研究」频道最新
- Git 推送量四年从 80M 暴涨至 320M,漏洞增速反被甩开 — max_paperclips · 2026-10-25
- 随机森林发明人 Breiman 2001 年名文重提：统计建模的两种文化 — miniapeur · 2026-10-25
- 用 PRISM 算法合并两个 Minimax-H3 微调模型，权重已开源 — theOliviaRossi · 2026-10-25
- EMNLP 2026 论文盘点：语用推理、忠实 CoT 与代码修复取舍 — EliasEskin · 2026-10-25
- Q-CTRL 在 MIT EmTech 演示 AI 加持量子传感器：GPS 失效时为飞机船舶导航 — MJBiercuk · 2026-10-25
- Holon-S1 从常规病理切片预测基因与生物标志物，覆盖 16 种器官超 15 种扫描仪 — iScienceLuvr · 2026-10-25