OpenAI模型證偽Erdős單位距離猜想
openai的一個推理模型通過發現一種經數學家驗證的新點排列方式，證偽了paul erdős的單位距離猜想。
OpenAI 的系統解決了數學家 Paul Erdős 在 1946 年提出的單位距離問題，該問題涉及平面上點的最佳排列。與已有的猜測相反，該猜測認為方形網格近乎最佳，該模型使用類域理論和複數系統找到了更優的構造。普林斯頓數學家 Will Sawin 表示，該解決方案在點數每增加一倍的情況下，單位距離對的收益約為 1%，而此前人們認為這種收益是不可能的。雖然理論上的上限仍然未被突破，但這一發現表明 AI 有能力綜合專門的數學知識，以繞過人類對某些方法的偏見。