Donald Knuth:即使 P=NP 被证明,也几乎不会有实际用处
hugobowne · x · 2026-09-10
Donald Knuth 的观点被转发:他认为即使 P=NP 被证明,这个等式也不会带来实际帮助,因为这样的证明几乎必然是非构造性的——即无法从证明中提取具体算法。
「研究」频道最新
- RobustSGPO 优化 Agent harness：30 项保留任务完成率 60%→80% — dair_ai · 2026-09-10
- Jack Clark：预注册 AI 经济影响预测，一年后交叉验证谁预测得更准 — jackclarkSF · 2026-09-10
- 开源工具 TokenPrint:交互式可视化 tokens、注意力与 KV cache,征贡献者 — Rich-Fruit-326 · 2026-09-10
- DeepSeek V4.1 论文藏细节：在 checkpoint 之间复用 KV 缓存，被称「奇怪的模型工厂」 — teortaxesTex · 2026-09-10
- NVIDIA BioNeMo 推理 Runtime 公测,Boltz-2 吞吐提升近 3 倍 — AllThingsApx · 2026-09-10
- 元科学研究：arXiv 禁 LLM 生成文本的决定「站不住脚」 — RexDouglass · 2026-09-10