# GPT-5.4 Pro 找到非中心高斯测度假设的反例
GPT-5.4 Pro 模型生成了一个反例，推翻了将高斯相关不等式 (GCI) 扩展到非中心高斯测度的假设。这个解决方案以三页论文的形式呈现，并于 2026 年 3 月 12 日被 solveall.org 平台接受。该反例否定了高斯分布均值平移后不等式依然成立的假设。
高斯相关不等式：历史与本质
GCI 是针对中心高斯分布提出的：两个对称凸集交集的概率至少等于各自边缘概率的乘积。二维情形由 Loren Pitt 于 1977 年证明。任意维度的完整证明由 Thomas Royen 于 2014 年给出——简洁优雅，但最初未获学术界足够重视。
2025 年，Shehei Nakamura 和 Hiroshi Tsuji 将结果推广到具有共同高斯重心的集合。对于任意非中心高斯测度（均值不位于原点），这一问题仍悬而未决。
来自 GPT-5.4 Pro 的反例
该模型构建了一个二维反例：两条几乎平行的对称条带，高斯均值平移使得条带交集的概率低于各自概率的乘积。这种构造利用了几何直觉——均值平移会导致交集概率在极限情况下迅速衰减。
该反例可推广到维度 n ≥ 2。在一维情形下，模型证明了不等式成立：直线上的对称凸区间相互嵌套。
解决方案以 LaTeX 格式撰写成完整论文，包括定义、引理、利用极坐标和极限论证的证明，以及参考文献。
solveall.org 平台及其背景
Solveall.org 是由沃顿商学院的 Edgar Dobriban 创建的概率论及相关领域开放问题精选集。该平台作为人工智能推理基准。该 GCI 问题自添加以来一直未解。
解决方案由用户 Liam Price 提交，确认由 GPT-5.4 Pro 生成，并经其他模型验证。
GPT-5 先前成就
GPT-5 系列在解决数学问题上展现出进步：
- 2026 年 1 月：GPT-5.2 Pro 解决了 Erdős 第 728 号问题，即关于阶乘可整除性的问题。
- 2026 年 3 月：GPT-5.4 攻克了 Bartosz Naskrencki 的 FrontierMath 问题（历时 20 年开发）。
该 GCI 反例以其创造性方法脱颖而出：并非计算，而是传统上依赖人类直觉的几何构造。该问题属于“低垂果实”——2025 年后未被深入探索，可用初等方法解决。
主要启示
- GPT-5.4 Pro 通过二维对称条带反例，推翻了非中心测度的 GCI 假设。
- 该构造可推广到 n ≥ 2；在 1D 下，不等式成立。
- 解决方案采用极坐标和极限等基本技巧。
- Solveall.org 作为数学领域的人工智能基准得到验证。
- 凸显人工智能从计算向几何思维的转变。
这一案例说明现代模型如何应对需要洞察而非蛮力的难题。对于人工智能开发者，在此类平台上的测试日益重要。
— Editorial Team
暂无评论。