10:35arXiv: OpenAI@Shubhrajit Bhattacharya, Ritesh Goenka本文研究给定有限非空平面点集S在n个点的欧几里得平面中包含S的全等副本的最大数量。基于OpenAI在单位距离问题上的突破,作者构造了包含Ω_S(n^{1+δ_S})个全等副本的点集,其中δ_S是仅依赖于S的正常数。这一结果强有力地回答了Brass和Pach提出的问题,并推进了Erdős与Purdy、Ábrego与Fernández-Merchant的猜想。证明使用了Sawin对OpenAI结果的量化精化中的数域构造,从而为每个固定S给出了显式的δ_S选择。论文OpenAI单位距离问题组合几何全等副本Erdős1 个信源在谈推荐理由:这篇论文把OpenAI在单位距离上的方法用到组合几何里,直接造出上亿量级的全等图形副本,还解决了Brass和Pach的老问题,数学迷别错过。原文
07:57SuperTechFans(博客/媒体)精选OpenAI 内部模型构造出单位距离对数为 n^(1+δ) 的点集,推翻长期认为方格构造最优的假设。该证明经外部数学家验证并发表伴随论文,是 AI 首次自主完成复杂数学证明的里程碑。菲尔兹奖得主蒂姆·高斯等数学家高度评价此成果,认为 AI 已具备原创性和执行力。AI模型OpenAI单位距离问题数学证明推理模型10 个信源在谈推荐理由:AI 首次独立证明数学猜想原文