PulseAugur
实时 03:56:42
实体 Erdős planar unit distance problem

Erdős planar unit distance problem

PulseAugur coverage of Erdős planar unit distance problem — every cluster mentioning Erdős planar unit distance problem across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. SIGNIFICANT · CL_42312 ·

    OpenAI 模型以不足1000美元的成本证伪了已有80年历史的数学难题

    OpenAI宣布,其内部模型(推测为GPT-5的一个版本)已经证伪了一个已有80年历史的数学猜想,即 Erdős 平面单位距离问题。该通用推理模型以不足1000美元的成本完成了这项工作,数学家们称之为人工智能在科学发现领域的一个重要里程碑。该模型的广泛输出表明,大型语言模型(LLMs)正在展现出高级推理能力,并有可能从数学领域扩展到其他科学领域。