组合几何相关 AI 资讯

6月26日

10:35

官方一手arXiv: 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 单位距离问题组合几何

事件专题

推荐理由：这篇论文把OpenAI在单位距离上的方法用到组合几何里，直接造出上亿量级的全等图形副本，还解决了Brass和Pach的老问题，数学迷别错过。

原文

6月12日

11:46

官方账号Noam Brown (OpenAI 推理)@polynoamial

83°

OpenAI 的一个通用内部模型在著名的组合几何问题上取得了突破性进展。不到一年前，前沿 AI 模型在 IMO（国际数学奥林匹克）中已达到金牌水平。这表明 AI 在数学推理能力上的进步速度惊人，且预计这一趋势将持续。该突破展示了通用模型在解决复杂数学问题上的潜力，而非依赖专门训练的模型。

AI模型 OpenAI 推理模型数学突破

事件专题

推荐理由：数学和 AI 研究者值得关注——OpenAI 的通用模型在组合几何难题上取得突破，展示了 AI 推理能力的快速提升，建议点开了解具体进展。

原文

5月21日

16:25

官方账号Greg Brockman@gdb

88°

OpenAI 在著名的组合几何问题——Erdős 1946 年提出的平面单位距离问题上取得重大突破，AI 模型找到了构造 n 个点使得单位距离对数超线性增长的方法。此前所有已知构造的单位距离对数都接近线性，而新方法实现了 n^{1+δ} 的常数 δ 增长（后续改进显示 δ=0.014）。这是 AI 首次在数学核心难题上做出实质性新知识生成，而非仅验证已知结果。数学家表示“很难入睡”，认为这是 AGI 的征兆。

AI模型 OpenAI 数学突破组合几何

事件专题

推荐理由：这是 AI 首次在数学核心难题上生成全新知识，做数学研究或 AI 基础研究的团队值得关注——它可能改变我们对 AI 创造力的认知。

原文

09:50

官方一手arXiv: 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 反例

事件专题

推荐理由：OpenAI 用 AI 构造反例推翻了数学界 70 年的猜想，做组合几何或数论的研究者值得关注——这不仅是数学突破，更展示了 AI 如何改变数学发现的方式。

原文

07:59

Ethan Mollick@emollick

72°

2024年6月，通用大模型连草莓里有多少个r都数不清；2025年7月，最新模型已在国际数学奥林匹克竞赛中获得金牌；到2026年5月，模型甚至解决了组合几何中一个著名难题。这一系列对比展示了LLM在数学推理能力上的飞速进步，从基础计数到顶尖竞赛再到前沿研究，仅用两年时间。

AI模型 LLM 数学推理 IMO金牌

推荐理由：数学推理是AI能力的硬指标，从数不清草莓到IMO金牌再到解决几何难题，这个时间线让所有关注AI能力边界的开发者震撼——建议点开看看，你会对模型进化速度有全新认知。

原文