九场战役。搜索一次比一次更好。
求解器运行 · 对照证据核查这些数字
这是一份与案例研究 A 不同的申明合约:一个发动机支架,而非那个 200 kg 有效载荷支架。在 2026-08-05 至 2026-08-09 之间运行的 九场真实求解器认证战役中,PIE 针对该合约自己最好的、能通过 安全系数的设计从 5.49 kg 变为 4.54 kg,再变为 2.40 kg——每一个数字都经 CalculiX/Gmsh 认证,而非代理模型。
请在看下面的数字之前先读这一段:这里并不存在 "超越基准设计"这回事。该合约申明的朴素设计——一个 传统的平板加筋支架——本身就被 CERTIFIED FAILING(认证判定为失效), 质量 0.953 kg,安全系数 0.748,低于要求的 1.5。在质量上根本 没有一个合格的基准设计可以被超越。接下来展示的证据说明的是: PIE 的搜索本身正在一次比一次更擅长找到仍然合格、 但更轻的设计——这是相对于它自己而言的进步,而不是相对于 某个可行的参考设计。
轨迹:每一个数据点都经真实求解器认证
| 候选方案 | 质量 | 控制性安全系数 | 认证状态 | |
|---|---|---|---|---|
| 申明的朴素基准设计 | plate-and-gusset | 0.953 kg | 0.748 — fails | validated_sidecar |
| v9 自己的首个认证通过结果(12 小时运行,第 24 代) | bracket_g00000 | 5.485 kg | 1.833 — passes | validated_sidecar |
| 上一场战役的认证获胜方案(v8,8 小时运行) | bracket_g00062 | 4.539 kg | 1.730 — passes | validated_sidecar |
| v9 的最终获胜方案(12 小时运行,第 203 代) | bracket_g00087 | 2.397 kg | 1.759 — passes | validated_sidecar |
每一行都是:在 Gmsh 四面体网格上进行的 CalculiX 静力学与固有频率 分析,相同的申明工况,相同的 AlSi10Mg 材料库条目。 比上一场战役的获胜方案(v8 → v9)轻 47.2%; 比本次同一运行自己的首个认证通过结果(第 24 代 → 第 203 代)轻 56.3%——但仍比上面的基准设计重 2.52×,因为那个基准设计本身失效, 无法被超越,只能被避开。
获胜方案的认证记录
{
"candidate_id": "bracket_g00087_ae6c49af05444",
"evidence_tier": "validated_sidecar_calculix_gmsh",
"material": "AlSi10Mg",
"governing_case": "engine_torque_216Nm_declared_1.5x",
"governing_safety_factor": 1.7592,
"mass_kg": 2.3971,
"first_mode_margin_ratio": 0.5767,
"mesh": "gmsh · 50,752 nodes / 227,765 tets",
"passes": true, "failures": []
} 暂无渲染图——和案例研究 A 的获胜方案一样,这个候选方案的 STL 在 认证之后没有被保留,只保留了求解器输出。渲染图将在几何导出 重新生成后出现于此。
这是什么,又不是什么
这场战役还没有经过把结果晋升为发现记录(discovery ledger)的 审计流程——它今天还只是未经晋升的、原始的、真实求解器认证过的 战役产物,尚不是一条已入账的发现记录。我们仍然选择在这个阶段 就公布它,因为诚实架构对待一个尚在进行中的趋势,和对待一个 已完成的主张,遵循的是同一套规则:上面的每一个数字都可追溯到 一份带哈希的 CalculiX 证据,而最重要的那条提醒——没有超越任何 基准设计——被放在最前面陈述,而不是被藏起来。
返回证据页 带一份这样的合约来找我们