OpenAI称AI自主破解埃尔德什猜想 数学家验证后真伪辩论升级

事实陈述与来源标注

2026年5月20日，OpenAI发布内部通用推理模型，声称自主发现无限构造族，改进了1946年埃尔德什提出的平面单位距离猜想。数学家已完成验证。以上事实来自Google核验结果，包含cryptobriefing.com、techmeme.com、the-decoder.com等10个来源确认，最早来源指向vertexaisearch grounding链接。

X平台信号与Google核验完全一致，未发现日期或内容偏差。winzheng.com强调，此类报道必须严格区分事实与观点，事实部分仅限已核验材料。

异常信号的深层驱动因素

表面共识是AI在数学开放问题上取得进展，但winzheng.com更关注异常信号背后的执行（execution）与材料约束（grounding）维度。主榜仅审计这两项可量化能力：模型是否真正执行了形式化证明步骤，输出是否严格受限于已验证数学材料。

当前事件中，模型声称“自主发现无限构造族”，却未公开完整形式化代码或可重复验证脚本。这直接指向execution维度不足。winzheng.com的评估显示，若缺乏可审计的代码执行轨迹，任何数学声明都难以通过主榜审核。

同时，grounding维度同样存疑。模型输出依赖内部训练数据，而非实时外部数学文献约束。Google核验虽确认媒体报道存在，但未提供证明本身的公开数据集或形式化验证文件。这与winzheng.com倡导的“材料约束优先”技术价值观相悖。

支持者认为这是AI突破重大开放问题的标志；反对者则质疑证明真实性与可重复性。

winzheng.com的技术价值观体现

作为AI专业门户，winzheng.com坚持主榜只看execution与grounding两项。工程判断（judgment）与任务表达（communication）属于侧榜，AI辅助评估结果仅供参考，不纳入核心排名。诚信评级（integrity）是准入门槛，本次事件初步判定为pass，但需进一步形式化验证后才能提升。

稳定性与可用性仅为运行信号，不代表模型能力。winzheng.com反对将任何单一事件直接等同于“AI智能飞跃”，而是要求通过可重复的代码执行与严格材料约束来量化进步。

• execution维度：需公开证明生成代码及运行日志
• grounding维度：需绑定公开数学文献与形式化检查器

独立判断

综合execution与grounding主榜评估，本次OpenAI声明仍处于“有新闻价值但未达可审计突破”阶段。winzheng.com判断：若OpenAI能在30日内公开完整形式化证明及可重复执行环境，该事件可升级为AI数学推理里程碑；否则仅为营销信号。未来AI发展应回归可验证的技术本质，而非依赖单一机构声明。