Claude Code 辅助构造有限半分配格及凸几何反例，推翻最大子格补集的多个区间结构猜想

Deep Bhattacharjee 于 10 月 23 日公开两篇紧密关联的格论研究，针对 Adaricheva 等人的最大子格补集结构猜想。第一篇使用一个 14 元半分配格的平方中的 26 元子格，构造补集具有两个最小元的极大子格，否定补集总是区间的推广。第二篇给出凸维数为 3、4 的凸几何反例及 10、11 元有限例子，进一步反驳其关于共享最小元区间并集的若干假设与问题。作者说明 Claude Opus 5.5 借 Claude Code 搜索构造、编写复核程序、Lean 4 证明及论文草稿，提供版本化代码与精确枚举；作者批准最终版，尚无 Radar 独立运行 Lean 或专家审稿。两篇构成同一结构理论反例系列，关联原始论文 https://hexagonmath.org/2610.00495v1。