← 返回列表

An OpenAI model has disproved a central conjecture in discrete geometry

OpenAI News 5 信息等级 5 1 噪音/剔除；2 较弱；3 普通事实；4 重要行业动态；5 极重大事件。该分数是信息显著性，不是投资建议。 发布：2026-05-20T00:00 抓取：2026-05-20 22:13
🔗 原文链接
AI
摘要

OpenAI的一个模型解决了80年历史的单位距离问题，否定了离散几何中的主要猜想，标志着AI驱动数学的里程碑。

客观事实
  • OpenAI模型否定了存在80年的单位距离问题猜想。
  • 这是AI在数学证明领域的重大突破。
OpenAI

原文

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.