OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明
OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 条数学结果，每条都声称解决了一个开放问题或取得实质进展，其中包含对主要计算机算法的改进以及与黎曼假设相关的推进。
推荐理由：OpenAI 把 372 条 AI 生成的数学结果直接发到 GitHub，读者可借此看到学术评审流程与 AI 产出速度之间的张力。
#论文/研究
The Decoder精选AI 评分7676 Latent Space精选AI 评分8888 OpenAI 内部模型发布 722 篇数学手稿，称解决 500 个公开难题中的 90 个
OpenAI 从一个未公开的内部前沿模型发布 722 篇数学手稿，归入 372 个相关结果族，来自约 4000 个研究问题的评测，平均每个结果消耗约 3 小时 ChatGPT Pro 推理算力。
推荐理由：OpenAI 内部模型一次性产出 722 篇数学手稿，读者可了解其规模、算力成本与学界对结果可靠性的分歧。
量子位精选AI 评分8585 OpenAI 公开 722 篇数学手稿，覆盖准黎曼猜想与 BSD 等难题
OpenAI 公开 722 篇数学手稿，归为 372 组结果，出自一个尚未发布的内部模型，论文、源码和部分 Lean 证明已上传 GitHub。内容涉及准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数等，模型此前尝试约 4000 个研究问题，平均每项结果算力约相当于 ChatGPT Pro 思考 3 小时。
推荐理由：OpenAI 一次性公开 722 篇数学手稿，读者可了解其覆盖范围与数学界对核验进度的保留态度。
The Verge · AIAI 评分7474 OpenAI 发布 722 篇手稿，称未公开前沿模型解决数百个数学开放问题
OpenAI 以 722 篇手稿的形式公开了一批数学问题解答，覆盖 372 个结果族，据 AGMAI 称其中包含对“数百个”开放问题的解答。这些结果由一个未发布的前沿模型产出，OpenAI 称“平均结果”相当于 ChatGPT Pro 思考三小时，并同时公布了部分推理摘要、算力估算和尝试问题数量等细节。
The Verge · AIAI 评分6565 AI 攻占数学界引发的争议与风波
过去一年，OpenAI、Anthropic 等实验室宣布在多个长期悬而未决的数学问题上取得突破，部分进展超出研究者对现有系统能力的预期，其中包括解决一个著名的千禧年大奖难题。但 AI 实验室以硅谷式的高速推进方式冲撞这一学科，本应受到赞誉的成果反而引发反弹。AI 实验室表示正在从早先的错误中吸取教训，这些承诺能否兑现尚待观察。
Microsoft ResearchAI 评分1818 微软亚洲研究院新加坡成立一周年：推进前沿 AI 研究、合作与人才培养
微软亚洲研究院新加坡（MSRA – Singapore）作为微软在东南亚的首个研究实验室，成立一年来围绕下一代 AI 模型与智能体系统、领域专用 AI、AI 原生研究实践、生态与人才培养四大方向推进工作。实验室与新加坡医疗生态伙伴合作探索多模态医疗 AI 和自进化诊断智能体，并联合 EDB 于 2026 年 2 月举办物流与运输 AI 高管圆桌会。