OpenAI 模型推翻离散几何猜想

OpenAI 在 2026 年报告其内部模型在一道长期未决的离散几何问题上构造出反例。该类问题属于 组合几何中的极值与构造类，几十年间专业数学家给出过大量上界估计，却缺乏简洁可验证的 具体反例。

模型的工作方式是在符号推理与候选构造之间反复迭代，最终给出一个具体的点集与距离矩阵， 验证步骤可由独立工具复核。OpenAI 强调最终反例的核心结构可被熟悉该领域的数学家在课时 尺度上检验，验证负担与生成负担彼此独立。

对数学社区的意义在于，LLM 在这个量级的猜想上首次跨越了"提出构造、构造经得起人类同行 复核"的门槛，为讨论 AI 在何种数学子领域具有比较优势提供了一个具体参照。研究者也开始 把模型当作可与之合作的协同者，而非仅是文献检索或排版的辅助工具，这一身份转变本身值得 作为单独议题继续追踪。