作者：OpenAI；时间：2026-05-20。OpenAI 称其内部通用推理模型在平面单位距离问题上取得突破，推翻了长期以来关于方格构造近似最优的猜想，并给出一族可产生多项式改进的例子。OpenAI 表示该证明已由外部数学家检查，且模型并非专门为数学或该问题训练。该事件的重要性在于，AI 科学发现的叙事从“辅助检索和形式化”进一步走向“提出跨领域原创思路”，但仍需要同行审查和可复核证明来确立可信度。
来源：OpenAI
作者：OpenAI；时间：2026-05-20。OpenAI 称其内部通用推理模型在平面单位距离问题上取得突破，推翻了长期以来关于方格构造近似最优的猜想，并给出一族可产生多项式改进的例子。OpenAI 表示该证明已由外部数学家检查，且模型并非专门为数学或该问题训练。该事件的重要性在于，AI 科学发现的叙事从“辅助检索和形式化”进一步走向“提出跨领域原创思路”，但仍需要同行审查和可复核证明来确立可信度。
https://openai.com/index/model-disproves-discrete-geometry-conjecture/
评论
0