数学家团队形式化验证:n=11 方形装箱问题确为最优解
ctjlewis · x · 2026-10-07
作者戏称遇到一群以「可怕效率」运作的数学家——Square Packers,他们正式证明(形式化验证)了被戏称「cursed」的 n=11 方形装箱构型确实是最优解。这是几何装箱问题研究的实际进展,同时作者的「gang of mathematicians」双关梗也很出彩。
所属事件:n=11 方形装箱最优性获形式化证明(5 条相关)→
「Fun」频道最新
- 网友调侃:一年后回看手编 SOUL.md 调教 agent 幽默感会很原始 — MikkoH · 2026-10-07
- 律师趣评:GPT 像贫民窟长大的孩子,Claude 像精英家庭的乖学生 — repligate · 2026-10-07
- e/acc 宣布建卡尔达肖夫等级实时观测台,并开放一个工程席位 — whurley · 2026-10-07
- 「Altman 几乎不会写代码」传闻疯传,前工程师发文反驳 — gerardsans · 2026-10-07
- 用户 Opus 5.5 智能体在网上交到笔友，互寄诗歌 — repligate · 2026-10-07
- 作者训练「故意错 98%」模型 Bev:专测你的置信度阈值管不管用 — ricyoung · 2026-10-07