GPT-5.6 Sol Pro解决统计学重要开放问题：BH程序在相关数据下无法控制FDR

Edgar Dobriban利用GPT-5.6 Sol Pro解决了统计学中一个开放问题：Benjamini-Hochberg（BH）程序在相关高斯数据下无法控制错误发现率（FDR）。该程序由Benjamini和Hochberg于1995年提出，被引用超13万次，但FDR控制仅对独立数据成立。尽管有多个猜想认为其对相关数据也有效，GPT-5.6 Sol Pro通过一个高斯因子模型（名义水平α=0.01，实际FDR>0.0104）证明了该猜想错误。模型经过90分钟推理一次性解决，而GPT-5.5在20小时内未能完成。