标签： 符号推理

OpenAI模型成功反驳了离散几何领域存在近80年的中心猜想，首次由AI自主构造反例并得到验证，标志着大模型在符号推理与数学证明方面取得重大突破。