OpenAI模型反驳离散几何中80年的中心猜想
openai的一个推理模型通过反驳关于点放置的数十年猜想，解决了平面单位距离问题。
OpenAI 透露，一个新的通用推理模型自主解决了平面单位距离问题，这是一个组合几何难题，困扰了近 80 年。该人工智能驳斥了重新缩放的方形网格最大化单位距离对的中心猜想，找到了一个无限的例子族，从而产生了多项式改进。包括菲尔兹奖获得者蒂姆·高尔斯（Tim Gowers）和数论学家阿鲁·尚卡尔（Arul Shankar）在内的外部数学家验证了该证明，并撰写了配套论文。这标志着数学中的一个著名开放问题首次由通用人工智能模型解决，而不是数学专用系统。