标签

人工智能突破Erdős单位距离猜想

2026年5月20日,OpenAI发布了一则重磅消息:其内部研发的通用推理模型,成功证伪了匈牙利数学家Paul Erdős在1946年提出的一个关键猜想。该猜想被视为离散几何领域最具知名度、表述最为简洁却悬而未决八十年之久的难题之一。外部数学家团队已对证明过程进行了审核,并发表了配套论文,详细阐述证明的逻辑框架与学术背景。普林斯顿大学数学家Will Sawin教授进一步优化了这一结论。剑桥大学菲尔兹奖获得者Timothy Gowers发表评论指出,这一成果"在未来数月乃至数年内,将在各数学分支中涌现类似突

2026-05-21 20:04:49  |  4 阅读