研究突破3周前·ZME Science
OpenAI模型破解80年Erdos数学猜想，数学界震惊OpenAI内部AI模型成功找到传奇数学家Paul Erdos数十年前著名猜想的反例，被数学界誉为AI在数学领域最具里程碑意义的突破。该结果正确但挑战了数学研究核心规范——证明验证、成果归属和开放研究原则。2026年6月17日报道。
AI 资讯
每日精选 AI 行业动态，点开标题可直达原文出处。
每日精选 AI 行业动态，点开标题可直达原文出处。
OpenAI内部AI模型成功找到传奇数学家Paul Erdos数十年前著名猜想的反例，被数学界誉为AI在数学领域最具里程碑意义的突破。该结果正确但挑战了数学研究核心规范——证明验证、成果归属和开放研究原则。2026年6月17日报道。
作者：OpenAI；时间：2026-05-20。OpenAI 称其内部通用推理模型在平面单位距离问题上取得突破，推翻了长期以来关于方格构造近似最优的猜想，并给出一族可产生多项式改进的例子。OpenAI 表示该证明已由外部数学家检查，且模型并非专门为数学或该问题训练。该事件的重要性在于，AI 科学发现的叙事从“辅助检索和形式化”进一步走向“提出跨领域原创思路”，但仍需要同行审查和可复核证明来确立可信度。