12:35Mark Chen (OpenAI 研究)@markchen9083°OpenAI 的一个模型成功推翻了 Erdős 长期未解的单位距离猜想,给出了一个优雅而复杂的证明,融合了代数数论与几何的深刻思想。数学成为 AI 研究突破最显著的领域,专家们愿意与 AI 生成的证明深度互动。OpenAI 强调目标并非取代人类,而是探索人类在强大 AI 时代仍能发挥重要作用的路径。团队计划与数学界合作,并将经验推广到编程和通用协作领域。AI模型OpenAI推理模型数学证明代数数论Erdős猜想8 个信源在谈推荐理由:数学研究者或对 AI 推理能力感兴趣的人会震撼——OpenAI 模型解决了数论几何交叉的经典难题,证明过程优雅且可验证。建议点开看看 AI 如何用代数数论工具攻克几何猜想,这对理解 AI 在严谨科学中的潜力很有启发。原文
20:56berryxia@berryxia88°Anthropic 于 2026 年 4 月 7 日发布 Project Glasswing 及 Claude Mythos Preview,该前沿模型网络攻防能力极强,因安全顾虑仅开放给合作伙伴用于防御。OpenAI 则在 5 月 20 日宣布其内部通用推理模型成功推翻数学家 Paul Erdős 的平面单位距离问题猜想。这两件事共同表明,前沿模型在更高抽象层面的可靠推理能力已迈过临界点,能稳定处理完整论证和知识体系,而非仅限片段操作。Claude Mythos Preview 在编码和网络安全评测中表现突出,多数基准测试超越 GPT-5.5。AI模型推理模型网络安全数学证明AnthropicOpenAI10 个信源在谈推荐理由:AI 推理能力从片段到完整体系的跃迁,是开发者和安全从业者必须关注的分水岭——Claude Mythos 的防御性开放和 OpenAI 的数学突破,直接改变了模型应用边界,建议点开了解具体案例。原文
10:29AI Will@FinanceYF593°Google DeepMind 发布 AlphaProof Nexus,一个基于 Gemini 的 agentic 框架,用于形式化数学证明搜索。该 AI agent 自主解决了 9 个 Erdős 问题(其中两个已开放 56 年)、44 个 OEIS 问题、一个 15 年未解的代数几何问题和一个 7 年未解的 min-max 优化问题。整个推理成本仅几百美元,标志着 AI 从做练习题转向真正的数学研究。AI模型AI agent数学证明DeepMindGemini形式化验证推荐理由:AI 用几百美元成本解决了人类数学家 56 年未解的问题,做数学研究或形式化验证的团队值得关注——这可能是数学研究自动化的转折点。原文
22:16Gary Marcus@GaryMarcusGaryMarcus 在 X 上转发了一条消息,称标准 GPT-5.5 已经成功复现了某个数学证明,并质疑这是否意味着所谓的“阶跃变化”只是问题本身更简单。该推文引用了 ChatGPT 的分享链接,显示模型在推理任务上的表现。这一讨论反映了 AI 社区对模型能力提升本质的持续争论:是模型真的变强了,还是任务难度被高估了。AI模型GPT-5.5推理模型阶跃变化AI 能力评估数学证明推荐理由:AI 研究者和大模型用户值得关注——GPT-5.5 的推理表现引发了对“阶跃变化”定义的反思,看完会重新审视模型能力的评估标准。原文
08:05AI Will@FinanceYF588°OpenAI 的一个通用推理模型成功证明了一个数学难题,该模型并非专门为数学问题设计,而是具备广泛推理能力的系统。这一成果被视为数学与人工智能社区的重要里程碑,表明通用 AI 在复杂推理任务上已取得突破。该模型通过自我改进和逻辑推理,无需领域特化即可解决高难度数学问题。这为未来通用 AI 在科学、工程等领域的应用打开了新可能。AI模型通用推理模型数学证明OpenAI里程碑人工智能10 个信源在谈推荐理由:通用推理模型攻克数学难题,证明 AI 不再需要特化就能做高难度推理——做 AI 研究和数学建模的团队值得关注,这可能是通用智能落地的信号。原文