OpenAI 模型在数学领域取得重大突破,自主推翻了一个由 Paul Erdős 于 1946 年提出的离散几何中心猜想。这是 AI 首次独立解决一个数学领域的重大开放问题。
An OpenAI model has achieved a major breakthrough in mathematics, by disproving a central conjecture in discrete geometry that was first posed by Paul Erdős in 1946.
This is the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
likes: 1545 | retweets: 115 | replies: 105 | views: 206091