Claude Code 辅助给出 Morley 四面体新反例与参数化分类，否定 Tran 关于正四面体导出构型的猜想

Deep Bhattacharjee 于 10 月 23 日在 Hexagon 公布关于三维 Morley 四面体构造的 AI-assisted 反例：研究 Tran 将二等分/三等分面推广至 p-secting planes 后提出的 Conjecture 8.6，并对坐标盒 [−a,a]×[−b,b]×[−c,c] 中等腰四面体给出其 Morley 导出四面体为正四面体的几何充要条件。当 a,b,c 两两不同时得到不满足所谓四条相等交叉棱的具体反例，同时报告四等分取 e=f=g=4 的特殊结论。Claude Code/Opus 5.5 参与计算搜索、验证程序、Lean 证明与初稿，作者审批最终版；尚未独立复跑工件或审稿。