OpenAI 在其官网发布消息称，其一个模型证伪（disprove）了离散几何领域的一个核心猜想。该内容被归入论文类别，相关说明见 OpenAI 官方页面。
离散几何研究几何对象的组合性质，其中不少猜想长期缺乏反例，被视为领域内的基础性命题。按 OpenAI 的表述，此次结果是"证伪"——即该猜想不再成立，而非被证明。
为什么重要
数学猜想被推翻本身是学科进展，但更受关注的是完成者：一个 AI 模型。若该结果经受住检验，它将成为 AI 参与基础数学研究的标志性案例——从此前以辅助计算、猜想生成、形式化验证为主的角色，走向直接处理学界公认的核心问题。
尚待确认的信息
在目前可获得的公开信息中，该猜想的名称、反例构造、所用模型版本，以及验证方式（形式化证明或同行评审）均未披露，结果的可复现性与学界的接受程度仍需观察。
对 AI 从业者而言，可关注三点：模型在问题识别、反例构造与论证撰写中各承担了什么角色；结论是否经过独立验证；这类方法能否迁移到其他数学分支。
原文链接：https://openai.com/index/model-disproves-discrete-geometry-conjecture