AI 颠覆 80 年数学定论：OpenAI 反驳 Erdős 猜想启示录
一款人工智能模型，耗时不足一日，便揭示了人类数学家长达八十年的认知谬误。这并非虚构故事。2026 年 5 月 20 日，OpenAI 公布其内部模型自主推导出 Erdős 单位距离猜想的反例——这一难题曾令数学界困扰近百年。荣获数学界最高奖项菲尔兹奖的 Tim Gowers 在查阅结果后表示："毋庸置疑，单位距离问题的突破标志着 AI 数学发展的里程碑。"然而他随即补充道：当他意识到 AI 实际上是"证伪"而非"证实"该猜想时，他感到"如释重负
AI 爆发！三巨头联手攻克80年数学难题，OpenAI推翻猜想
Paul Erdős 数学家经典影像Erdős 单位距离问题 - AI数学证明示意图难得的周末，AI 领域却爆出一件让人震惊的消息。在过去的一周里，OpenAI、Anthropic、Google DeepMind 这三家科技巨头接连宣布，自家 AI 成功攻克了数学家 Paul Erdős 留下的百年谜题。这不是简单的辅助推导，也不是提供解题思路。而是 AI 从零起步，构建了完整的、经过形式化验证器确认的数学证明。更令人称奇的是，这并非发生在严谨的实验室环境中，而是在周末。Anthropic 工程师 Sho
AI颠覆百年数学猜想
你可曾设想，AI不再局限于撰写周报、绘制图表或编写代码，而是真正去攻克一个困扰人类顶尖数学家长达八十载的数学谜题？这一天，已然降临。5月21日，OpenAI发布了一项令整个数学界为之震颤的消息：其内部推理模型成功证伪了著名的Erdős单位距离猜想——这一自1946年起便悬而未决的离散几何难题。坦白讲，初闻此讯，我和大众的反应如出一辙：这当真属实？然而，菲尔兹奖得主Tim Gowers亲自为之背书，称其为“AI数学领域的里程碑”。另一位知名数学家Thomas Bloom，此前曾对OpenAI的数学声明持怀疑
人工智能突破Erdős单位距离猜想
2026年5月20日，OpenAI发布了一则重磅消息：其内部研发的通用推理模型，成功证伪了匈牙利数学家Paul Erdős在1946年提出的一个关键猜想。该猜想被视为离散几何领域最具知名度、表述最为简洁却悬而未决八十年之久的难题之一。外部数学家团队已对证明过程进行了审核，并发表了配套论文，详细阐述证明的逻辑框架与学术背景。普林斯顿大学数学家Will Sawin教授进一步优化了这一结论。剑桥大学菲尔兹奖获得者Timothy Gowers发表评论指出，这一成果"在未来数月乃至数年内，将在各数学分支中涌现类似突