首个四维「爱因斯坦」镶嵌瓷砖现世，Lean 机器验证非周期性
pickover · x · 2026-10-22
爱好者在业余时间发现了一个四维空间中的「爱因斯坦」瓷砖：单一形状能填满 4D 空间，但只能以非重复（非周期）方式镶嵌。据称这是首个用机器检查器（Lean 形式化证明）验证的 4D 非周期单调砖，此前著名的「帽子」瓷砖只解决了三维问题。Pickover 转发并扩散了这一发现。
「研究」频道最新
- 「Context Graph」文章都在绕圈子：联合创始人撰文讲清 context 该怎么结构化 — shensi · 2026-10-22
- UniReps 工作坊落地巴黎 ELLIS UnConference,NeurIPS 前一天举行 — ClementineDomi6 · 2026-10-22
- 斯坦福开放机器人自主性教材 PoRA，视频课程配套免费公开 — drmapavone · 2026-10-22
- 腾讯 ARC 视频生成新法：省 57.9% 算力，物理合理性提升 11.2% — _akhaliq · 2026-10-22
- Ben Recht 课堂长文：所有民调都是模型，统计预测正侵入抽样 — beenwrekt · 2026-10-22
- ForTy 基于 AlphaEarth 分析 170 万站点卫星影像，服务零毁林供应链 — GoogleDeepMind · 2026-10-22