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 创造力的认知。原文
07:59Ethan Mollick@emollick72°2024年6月,通用大模型连草莓里有多少个r都数不清;2025年7月,最新模型已在国际数学奥林匹克竞赛中获得金牌;到2026年5月,模型甚至解决了组合几何中一个著名难题。这一系列对比展示了LLM在数学推理能力上的飞速进步,从基础计数到顶尖竞赛再到前沿研究,仅用两年时间。AI模型LLM数学推理IMO金牌组合几何能力进化推荐理由:数学推理是AI能力的硬指标,从数不清草莓到IMO金牌再到解决几何难题,这个时间线让所有关注AI能力边界的开发者震撼——建议点开看看,你会对模型进化速度有全新认知。原文