在数学界与人工智能领域，2026年5月20日被视为一个极具里程碑意义的日子。OpenAI 的内部推理模型成功推翻了由数学大师保罗·Erdős（Paul Erdős）于1946年提出的“单位距离猜想”(Unit Distance Problem)，这是离散几何领域困扰数学界近80年的核心开放问题。 与此前曾引发争议的 AI 数学能力宣称不同，此次成果得到了学术界的广泛背书。 非检索式解决: 此次证明 ...

OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI ...

一个AI，做到了人类数学家近80年没做到的事。5月21日，OpenAI官方宣布：其内部一个通用推理模型，自主推翻了“平面单位距离猜想”（Erdős Unit Distance ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

Thanks to some surprising advances, mathematicians are starting to realize that artificial intelligence could radically alter ...

Artificial intelligence built by OpenAI has cracked a decades-old conjecture by Paul Erdős, which mathematicians have hailed ...

Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning ...

An 80-year-old challenge in geometry has been cracked by mathematicians working for the tech firm Open AI using a single prompt from an AI chatbot. The company has not revealed all the precise details ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the ...