OpenAI模型证伪Erdős单位距离猜想
openai的一个推理模型通过发现一种经数学家验证的新点排列方式，证伪了paul erdős的单位距离猜想。
OpenAI 的系统解决了数学家保罗·埃尔多斯（Paul Erdős）在 1946 年提出的单位距离问题，该问题涉及平面上点的最优排列。与已有的猜想相反，该模型使用类域理论和复数系统找到了更优的构造。普林斯顿数学家威尔·索文（Will Sawin）指出，该解决方案在点数每增加一倍的情况下，单位距离对的数量增加了约 1%，而此前认为这是不可能的。虽然理论上的上限仍然未被突破，但这一发现表明人工智能能够综合专门的数学知识，以绕过人类对某些方法的偏见。