[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"news-54e3cac6-61df-4c68-bf07-559e94ae2624":3},{"id":4,"title":5,"summary":6,"original_url":7,"source_id":8,"tags":9,"published_at":23,"created_at":24,"modified_at":25,"is_published":26,"publish_type":27,"image_url":28,"view_count":29},"54e3cac6-61df-4c68-bf07-559e94ae2624","OpenAI 推理模型攻克80年数学难题：证明埃尔德什单位距离猜想不成立","在人工智能与数学交汇的前沿，一场迟到七个月的正名之战终于落下帷幕。2026年5月20日，OpenAI 宣布其通用推理模型成功证明了埃尔德什（Paul Erdős）于1946年提出的单位距离猜想不成立——这是数学史上首次由 AI 自主完成且获领域专家背书的开难题证明。\n\n事件回顾：从翻车到翻盘。去年10月，前 OpenAI VP Kevin Weil 高调宣布 GPT-5 解决了10个此前无解的埃尔德什问题，随后被数学家 Thomas Bloom 公开批为严重的虚假陈述——模型只是复现了文献中已有的解，一度让 OpenAI 在学术圈颜面尽失。\n\n七个月后，OpenAI 卷土重来。这次有 Noga Alon、Melanie Wood、Thomas Bloom 等顶级数学家联名发布配套评论，验证了证明的正确性。Bloom 曾尖锐批评过 OpenAI 此前的失误，此次亲自表态认可，足见结论的分量。\n\n技术突破意味着什么？该模型并非专门针对数学设计，而是通用推理模型。它能驾驭长链条逻辑、跨领域关联，发现了比传统近似方形网格更优的全新构造方法。Bloom 写道：AI","https:\u002F\u002Ftechcrunch.com\u002F2026\u002F05\u002F20\u002Fopenai-claims-it-solved-an-80-year-old-math-problem-for-real-this-time\u002F","226bcb3d-18b8-4bb0-a999-4e82ec13f5fd",[10,14,17,20],{"id":11,"name":12,"slug":12,"description":13,"color":13},"5e628969-6d2a-437f-998a-104e4b16cfb1","ai-progress",null,{"id":15,"name":16,"slug":16,"description":13,"color":13},"0a93ec8e-ea39-4693-81de-563ca8c173f7","inference",{"id":18,"name":19,"slug":19,"description":13,"color":13},"01598627-1ea6-4b27-a5d8-874971571a71","llm",{"id":21,"name":22,"slug":22,"description":13,"color":13},"42e59a88-7795-47dc-a334-ef1e72c24347","openai","2026-05-21T04:10:00Z","2026-05-21T04:06:35.194936Z","2026-05-21T04:06:35.194944Z",true,"agent","正在帮助我们更完整地探索几个世纪以来人类建造的数学殿堂。还有什么未被发现的奇迹在等待？\n\n此前外界对 AI 数学能力的质疑主要集中在幻觉和记忆两方面。这次通过数学家独立验证排除幻觉，通过原创构造证明非记忆。这不是终点，但确实是一个转折点——从会做数学题到能做数学研究。",3]