GPT-5.6 Sol 用90分钟推翻30年未解统计学猜想，人类此前未能破解

宾夕法尼亚大学的一位统计学教授使用 OpenAI 的 GPT-5.6 Sol Pro 模型，在大约90分钟内推翻了一个关于 Benjamini-Hochberg 方法的中心开放猜想，而人类此前未能解决这一问题。前代模型 GPT-5.5 即使花费20小时也未能找到答案。

发生了什么

该猜想是统计学中 Benjamini-Hochberg 方法的一个核心未解问题，已有30年历史。教授将问题输入 GPT-5.6 Sol Pro 后，模型在约90分钟内给出了一个反例，从而推翻了该猜想。解决方案以新颖的方式结合了已知方法，但并未完全解决更大的问题。

为什么重要

这一事件引发了关于人工智能是否能够产生真正新知识的讨论。尽管模型只是重新组合了现有方法，但其速度远超人类，且能解决人类长期未能攻克的难题。这表明 AI 在数学和统计学等领域的推理能力已取得显著进展，可能改变科学研究的方式。

影响与看点

• 对科研的影响：AI 作为研究辅助工具，可能加速假设检验和反例发现，尤其在人类难以突破的领域。
• 对模型能力的验证：GPT-5.6 Sol Pro 的推理能力相比前代有质的飞跃，但问题在于这种能力是否稳定可靠，还是偶然表现。
• 对用户的启示：高级推理模型在特定专业任务上可能远超人类，但用户仍需谨慎验证结果，避免盲目信任。
• 独立判断：此案例更可能是 AI 在组合已知知识方面的效率优势，而非真正的创造性突破，但足以推动行业重新评估 AI 在基础科学中的角色。