GPT-5.6 Sol 90 分钟证伪 20 年统计学猜想：BH 程序并非万无一失
## GPT-5.6 Sol 90 分钟证伪 20 年统计学猜想 宾夕法尼亚大学沃顿商学院副教授 Edgar Dobriban 用 GPT-5.6 Sol Pro，证伪了一个在多重假设检验领域站立约 20 年的猜想，并将结果作为 arXiv 预印本发布，自己列为唯一作者。 **要点** - **被证伪的是什么**：Be
分类「AI-数学」下的文章
OpenAI 证伪 Erdős 单位距离猜想：80 年悬案被 AI 反例终结
## OpenAI 证伪 Erdős 单位距离猜想 1946 年，Paul Erdős 提出单位距离问题：平面上 n 个点，最多有多少对点之间的距离恰好为 1？近 80 年来，数学家普遍相信正方形网格构型是最优的。OpenAI 宣布，其内部推理模型给出了第一个完全自主的反例证明。 **要点** - **反例而非证明**
OpenAI 一次放出 377 项 AI 数学成果：准黎曼假设、矩阵乘法指数降至 2.25
## OpenAI 一次放出 377 项 AI 数学成果 OpenAI 公开了一个由内部前沿模型生成的数学成果合集：722 份手稿、372 个「结果家族」，覆盖数论、代数、拓扑、逻辑与理论计算机科学。据称模型面对约 4000 个开放数学问题，幸存下来的成果被整理发布。 **要点** - **准黎曼假设**：证明黎曼 z