Claude 在尝试证明异质弦论 Geometric Selection 猜想时识别阻碍，证明镜像固定的可行真空分支为空

Deep Bhattacharjee 与 Ushashi Bhattacharya 10 月 23 日发表其较早 Geometric Selection Conjecture 的 AI-assisted 修正分析。作者原本要求 Claude Code 证明镜像对称不变、唯一选择物理可行真空的猜想；模型指出其中若干条件依赖实测数据，不能直接按数学定理封闭，转而提出镜像固定可行真空不可能存在的命题：若真空与其 mirror 等价，则相关 Calabi–Yau 三重态 Euler 数与丛的第三 Chern 类满足零约束，从而不能产生净手征代数族。提交者报告 Python 程序在相关离散配置上执行 511 项检查，代码作为 v1.0.0 release 公布；没有整项 Lean end-to-end 形式化，也不代表完整物理景观选择问题得到解答。