网友协作攻克 N 方入大盒最小容器问题,放出可视化证明
ctjlewis · x · 2026-10-07
一组网友在 X 上协作研究经典的正方形装箱问题：给定 N 个单位正方形，求能容纳它们的最小大正方形尺寸及对应的最密排布方式。ctjlewis 解释了问题设定——通过不断缩小外部容器，观察 N 个正方形仍能放入时的极限尺寸与最优构型。
@ojoshe（周估）正在制作一份人类可读的证明，ctjlewis 转发了 Josh 的可视化证明链接，展示了这一社区协作数学成果。
所属事件:11 方块装箱最优性获 AI 协作证明并形式化验证(9 条相关)→
「Fun」频道最新
- 16 岁少年让 Claude 规划登山路线，被带上野路后困于 Widowmaker 山获救 — Polymarket · 2026-10-07
- 「做普通人现在 insane alpha」：AI 圈流行语再刷屏 — kyliebytes · 2026-10-07
- Carmack 睹镜面球忆 OpenGL 球面贴图与光探针旧技术 — ID_AA_Carmack · 2026-10-07
- AI 创业者真名 Aristotle Socrates，网友直呼不敢信 — var_epsilon · 2026-10-07
- Jason Wei 为来参加 COLM 的人写了一份三小时旧金山漫步指南 — _jasonwei · 2026-10-07
- 让 Gemini 3.8 Flash 在 Blender 里建模皮卡，效果惊到作者 — No-Stay4882 · 2026-10-07