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的老问题,数学迷别错过。原文
11:46Noam Brown (OpenAI 推理)@polynoamial83°OpenAI 的一个通用内部模型在著名的组合几何问题上取得了突破性进展。不到一年前,前沿 AI 模型在 IMO(国际数学奥林匹克)中已达到金牌水平。这表明 AI 在数学推理能力上的进步速度惊人,且预计这一趋势将持续。该突破展示了通用模型在解决复杂数学问题上的潜力,而非依赖专门训练的模型。AI模型OpenAI推理模型数学突破组合几何IMO8 个信源在谈推荐理由:数学和 AI 研究者值得关注——OpenAI 的通用模型在组合几何难题上取得突破,展示了 AI 推理能力的快速提升,建议点开了解具体进展。原文
16:25Greg Brockman@gdb88°OpenAI 在著名的组合几何问题——Erdős 1946 年提出的平面单位距离问题上取得重大突破,AI 模型找到了构造 n 个点使得单位距离对数超线性增长的方法。此前所有已知构造的单位距离对数都接近线性,而新方法实现了 n^{1+δ} 的常数 δ 增长(后续改进显示 δ=0.014)。这是 AI 首次在数学核心难题上做出实质性新知识生成,而非仅验证已知结果。数学家表示“很难入睡”,认为这是 AGI 的征兆。AI模型OpenAI数学突破组合几何新知识生成AGI10 个信源在谈推荐理由:这是 AI 首次在数学核心难题上生成全新知识,做数学研究或 AI 基础研究的团队值得关注——它可能改变我们对 AI 创造力的认知。原文
09:50arXiv: OpenAI@Noga Alon, Thomas F. Bloom, W. T. Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Victor Wang, Melanie Matchett Wood精选OpenAI 生成的构造反例推翻了 Erdős 单位距离猜想,该猜想曾认为平面上单位距离对的数量最多为 O(n^{1+c/log log n})。研究者将反例提炼为简洁、可验证的版本,并指出其核心思想可追溯至 Ellenberg-Venkatesh、Golod-Shafarevich 和 Hajir-Maire-Ramakrishna 的工作。这一发现是组合几何领域的重大突破,展示了 AI 在数学发现中的潜力。论文还包含对反例的反思,探讨了 AI 辅助数学研究的未来方向。论文Erdős 单位距离猜想OpenAI反例组合几何AI 数学发现4 个信源在谈推荐理由:OpenAI 用 AI 构造反例推翻了数学界 70 年的猜想,做组合几何或数论的研究者值得关注——这不仅是数学突破,更展示了 AI 如何改变数学发现的方式。原文
07:59Ethan Mollick@emollick72°2024年6月,通用大模型连草莓里有多少个r都数不清;2025年7月,最新模型已在国际数学奥林匹克竞赛中获得金牌;到2026年5月,模型甚至解决了组合几何中一个著名难题。这一系列对比展示了LLM在数学推理能力上的飞速进步,从基础计数到顶尖竞赛再到前沿研究,仅用两年时间。AI模型LLM数学推理IMO金牌组合几何能力进化推荐理由:数学推理是AI能力的硬指标,从数不清草莓到IMO金牌再到解决几何难题,这个时间线让所有关注AI能力边界的开发者震撼——建议点开看看,你会对模型进化速度有全新认知。原文