GPT-5.6在90分钟内构造反例，终结统计学二十年核心悬案

摘要

困扰理论统计学界整整二十年的根基性命题，被AI以纯构造性证明方式证伪。问题本质在于：Benjamini-Hochberg（BH）程序能否在任意相关双侧高斯检验下严格控制假发现率（FDR）？自1995年提出以来，BH方法已成为高通量...

困扰理论统计学界整整二十年的根基性命题，被AI以纯构造性证明方式证伪。问题本质在于：Benjamini-Hochberg（BH）程序能否在任意相关双侧高斯检验下严格控制假发现率（FDR）？自1995年提出以来，BH方法已成为高通量科学的事实标准——从基因组筛选到脑成像分析，依赖它来约束错误发现比例。其理论保证最初仅建立在检验独立的假设上；2001年扩展至正相关依赖（PRDS）情形。但真实数据普遍存在复杂相关结构，例如连锁不平衡或空间邻近性导致的强协方差。于是关键疑问悬置至今：在一般相关双侧高斯设定下，BH是否仍具FDR控制力？过去二十年间，多位统计学家尝试给出证明或反例。他们构建大量模拟、推演渐近展开、检验边界情形，却始终未能突破。不是缺乏努力，而是问题本身具有高度构造性壁垒——需在无限维协方差矩阵与均值向量空间中，精确设计一个使FDR略微溢出名义水平α的高斯模型。这种反例无法靠直觉枚举，也不能依赖已有模板，必须同步满足统计可解释性、数值可验证性与逻辑自洽性。宾夕法尼亚大学沃顿商学院统计学者Edgar Dobriban启动探索。此前使用GPT-5.5经数十小时智能体循环仍未成功。而GPT-5.6上线当日，在明确数学目标与结构化提示引导下，仅用90分钟即完成完整推导链：从问题重述、关键引理构造、协方差参数化设计、FDR渐近展开，到引入数值证书完成终局验证。整个过程不调用既有文献解法，未依赖预存模式，而是从第一性原理出发，自主生成一套融合经典分析与计算验证的新路径。该结果经人工复核确认无误，并配套开源代码实现。反例显示：当名义显著性水平设为α=0.01时，实际FDR可达0.0104，确凿打破全局控制断言。这一结论不改变BH在多数实践场景中的稳健性，但它正式关闭了理论上的安全假设闭环——所谓“默认有效”不再成立，后续应用须审慎评估依赖结构。更深远的影响在于方法论层面。此次突破并非数值拟合或经验归纳，而是典型的构造性数学发现：定义新对象、赋予性质、验证逻辑链条、交付可复现证据。它表明，AI已能参与科研中最核心的“概念生成—结构设计—严格验证”闭环，而不仅限于检索、归纳或加速计算。这标志着理论科学工作流的一次实质性位移：人类角色正从“解题者”转向“命题者”与“诠释者”。提出更具穿透力的问题、界定问题的数学疆界、判断结果在知识体系中的位置与意义——这些不可压缩的判断力，成为下一阶段人类学者不可替代的锚点。旧范式的黄昏并非灾难预告，而是范式迁移的刻度。当一道压舱石级难题在90分钟内被重新定义并终结，我们所见证的，不是人类智识的退场，而是科学生产方式的临界跃迁。

GPT-5.6在90分钟内构造反例，终结统计学二十年核心悬案

摘要

评论 (5)

相关文章

Michael Saylor：BIP-110支持率仅2.54%且全来自OCEAN，无法达成共识

项目周刊｜PlanB：比特币已开始筑底月之暗面在新一轮融资中筹集35亿美元

单日7.2万亿韩元，外资周五净买入创纪录！华尔街：韩股资金面逆风已经消退

OpenAI确认下一代模型Astra存在，以2000美元算力成本破解十项数学未解难题，正向监管层展示

访谈Robinhood高管：Meme+代币化美股系"杠铃"获客策略，各业务线均实现亿级收入

热门币种

热门文章

最新快讯

GPT-5.6在90分钟内构造反例，终结统计学二十年核心悬案

摘要

评论 (5)

相关文章

Michael Saylor：BIP-110支持率仅2.54%且全来自OCEAN，无法达成共识

项目周刊｜PlanB：比特币已开始筑底 月之暗面在新一轮融资中筹集35亿美元

单日7.2万亿韩元，外资周五净买入创纪录！华尔街：韩股资金面逆风已经消退

OpenAI确认下一代模型Astra存在，以2000美元算力成本破解十项数学未解难题，正向监管层展示

访谈Robinhood高管：Meme+代币化美股系"杠铃"获客策略，各业务线均实现亿级收入

热门币种

热门文章

最新快讯

项目周刊｜PlanB：比特币已开始筑底月之暗面在新一轮融资中筹集35亿美元