Bloom、van Doorn 人工重写并简化 OpenAI 的埃及分数证明：AI 数学成果进入人类可理解的论证流程

Thomas Bloom 与 Wouter van Doorn 于 10 月 20 日在 Hexagon 发布纯人类撰写的证明阐释和局部简化，针对 OpenAI 10 月 6 日公布的单位分数研究，论证任意 0<a/b<1 可由 O(log log b) 个互不相同单位分数组成，并研究 1 被 k 个不同单位分数表示的双指数数量级。论文明确归因原始 AI-generated 证明，并通过人类独立行文解释其数学内容；本条记录新的人工阐释与审读里程碑，不把早前数学主张重新定为 10 月 20 日首次发现，也不等于整个 OpenAI 论文集已获正式同行评议。