两种分子四个黏性末端,即可数学证明强制非周期准晶结构
jarekduda · reddit · 2026-10-23
Jaroslaw Duda(雅盖隆大学)发布「autocrystals」研究:局部规则如何强制全局非重复序。配方:两种六角形分子 A/B,可自由旋转,各带两对互补黏性末端,数学上可证明所有完全键合组装都是非周期铺砌(带证书,不只是模拟)。生长的坑:只在「唯一状态匹配」处添加粒子绝不走进死路(定理保证);但需要猜测的生长会造出看似完美却可证明无法完成的图斑——作者展示了一个能补全到 12×12、却永远补不到 14×14 的例子,89% 的 24×24 猜测填充在中心附近撞上可证死路。目前仍是模拟与证明,DNA 折纸瓦片和 DNA 包覆纳米颗粒是自然实验平台。论文、代码与证书见 Zenodo。
「研究」频道最新
- K2 Horizon 开源 13 万亿 token 预训练数据及合成数据管线 — SinclairWang1 · 2026-10-24
- Cell 论文:工程化逆转座子实现体内基因写入 — anshulkundaje · 2026-10-24
- FADA 让人形机器人 2 分钟自适应背包、软地等新状况,无需奖励或仿真调参 — GuanyaShi · 2026-10-24
- 研究者预告能量Transformer重磅研究,称扩散模型末日将至 — burny_tech · 2026-10-24
- 「循环模型图谱」把 LLM 架构论文画成可交互魔法阵 — burny_tech · 2026-10-24
- Rocq 形式化验证:皮亚诺算术证明「K230 停机当且仅当 ZFC 不一致」 — burny_tech · 2026-10-24