OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明，呼吁学术界跟上
OpenAI 在 GitHub 发布了 372 个由内部前沿模型生成的数学证明，涵盖对重大计算机算法的改进以及与黎曼猜想相关的进展。每份证明平均消耗约三小时 ChatGPT Pro Thinking 算力，部分附带 Lean 形式化验证。这一发布方式绕过了传统期刊同行评审，引发数学界对 AI 大规模生成定理是否有助于概念理解的争议。
#OpenAI
The DecoderAI 评分7575 Latent SpaceAI 评分2929 OpenAI 发布 722 篇数学论文，解决 500 个顶级开放问题中的 90 个
OpenAI 发布内部 Navier-Stokes 模型的 722 篇数学论文，解决了 500 个顶级开放数学问题中的 90 个，包括准黎曼猜想等重要成果。每个结果平均只需 3 小时 ChatGPT Pro 推理计算，被 Anthropic 评价为"数学史上最重大时刻"。模型本身尚未开源，成果已公开于 GitHub 仓库。
OpenAI NewsAI 评分4242 OpenAI 分享 AI 在数学领域的研究进展
OpenAI 在 GitHub 上发布了其内部前沿模型在数学开放问题上的研究成果，并公开了 Lean 证明形式化文件和详细研究资料。该成果展示了 AI 模型在解决数学难题方面的能力进展。
TechCrunch · AIAI 评分4141 Musubi如何用PolicyLM-1.7B让AI决策模型改变内容审核
Musubi发布PolicyLM-1.7B，这是一个针对实时内容审核训练的轻量级决策模型，以开放权重形式发布，能在50毫秒内应用普通英语编写的内容政策，且政策变更时无需重新训练。决策模型是AI领域热点，继9月Typesafe AI发布Jev后，OpenAI和Amazon也推出了竞品。Musubi希望借助这一趋势，将决策模型技术应用于内容审核场景。