OpenAI模型解决了80年前的数学难题
Tap title to read story
0:00 / 1:29
美国——由OpenAI开发的人工智能模型已经产生了一个证明，该证明反驳了 Erdős 单位距离猜想，这是一个已存在80年未解决的数学开放问题。该猜想涉及平面上点集之间可能出现的单位距离的最大数量，尽管付出了持续的努力，它仍然挑战了几代人类数学家。OpenAI的系统生成了一个完整的证明，随后由独立专家进行了详细审查。这些审查员，包括至少一位菲尔兹奖得主数学家，检查了推理过程，并确认该论证既准确又逻辑严谨。
美国——研究人员和评论家将这一成果描述为计算智能的一个历史性里程碑，并强调人工智能系统现在已经为纯粹数学中一个长期存在且基础性的问题做出了原创解决方案。这一成就表明，人工智能模型能够进行高级推理和解决问题，其深度以前只与人类专家相关。专家们表示，这项工作表明，这类系统可以超越处理或总结现有知识的范畴，协助创造新的科学见解。他们指出，这项成果背后的技术也可以支持复杂系统建模、物流和先进材料科学等领域的进展。
More context
Timeline
- 1940年代，埃尔德什提出单位距离猜想
- 接下来的几十年，数学家们尝试解决这个问题但未成功
- 近年来，人工智能模型提高了数学推理能力
- 今年早些时候，OpenAI 训练了一个高级推理模型
- 最近，该模型生成了一个证否该猜想的证明
- 不久之后，外部数学家验证了证明的正确性
- 现在，研究人员强调了其对科学发现的启示
- 展望未来，预计将在复杂系统建模中得到应用
Why it matters
这项突破证明了人工智能可以解决困扰人类的复杂问题。这不仅仅是数学问题。相同的技术可以改进物流、材料科学和系统建模。这意味着更好的产品、更明智的规划和新的发现。请密切关注人工智能如何重塑您的行业。
JQJO Editorial Desk · Human reviewed · AI assisted. Report a correction.
