← 返回列表

@ScottWu46: RT @markchen90: Very proud that an OpenAI model disproved Erdős’s longstanding unit distance conjecture, with an elegant and intricate proo…

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

OpenAI模型否定了埃尔德什的单位距离猜想，该猜想长期未解，证明过程精巧复杂。

客观事实
  • OpenAI模型否定了埃尔德什的单位距离猜想
  • 该证明过程被认为精巧且复杂
OpenAI

原文

RT @markchen90: Very proud that an OpenAI model disproved Erdős’s longstanding unit distance conjecture, with an elegant and intricate proo…

likes: 537 | retweets: 27 | replies: 34 | views: 48344