台球计算模型登 PNAS:二维系统已存在不可判定性,可跑通用计算机
eigensteve · x · 2026-09-11
作者团队在 PNAS 发表论文,展示一个极简的台球系统即可实现通用计算:碰撞动力学足以模拟任意图灵机,意味着不可判定性在二维就已存在。论文发表恰逢 Navier–Stokes 相关研究引发热议,作者借此强调这类「极小物理系统里的不可计算性」结果的意义——流体与力学系统不仅能混沌,还能承载完全不可预测、不可判定的问题。
「研究」频道最新
- Skyfall GS 登场:用 Flux 提升 Gaussian Splatting 精修质量 — ducha_aiki · 2026-09-11
- 一万个智能体能否突破反向传播,找到更好的学习算法 — SeunghyunSEO7 · 2026-09-11
- Apodex 发布 TRACES 标准:用 423 个真实问题评测"发现型 AI" — Faheem_uh · 2026-09-11
- 科学没有标准答案:TRACES 用六维度评估 AI 过程而非结果 — Faheem_uh · 2026-09-11
- Apodex 推出 TRACES 基准：不打标准答案，专测 AI 探索未知的能力 — Faheem_uh · 2026-09-11
- Cognition SWE-2 用 KKT 对偶优化长度惩罚，一次 RL 推移 Pareto 曲线 — YouJiacheng · 2026-09-11