把哈佛、MIT、斯坦福的数学课都整理好了，GitHub 这个仓库太狠了
你以前没钱上名校，现在没借口不学了。GitHub 上有一个开源项目 math-science-video-lectures，专门把全球知名大学公开的数学和科学课程整理到一起，包括 MIT、哈佛、斯坦福、加州理工、伯克利 等高校的大量免费视频课程。
AI让数学再也回不去那个旧世界了。
OpenAI 在 GitHub 开源 openai/math，722 份数学手稿归成 372 个成果组，覆盖数论、代数几何、理论计算机等方向，出自一个尚未公开的内部模型，每个结果平均消耗约 3 小时 ChatGPT Pro 级算力，数学评测本身已经刷满。
OpenAI数学RL环境开源：让模型自己刷题
OpenAI 数学强化学习成果落地 Hugging Face：给模型发一套“奥数题”最近 AI 圈又有一波实打实的福利。Hugging Face 将 OpenAI 此前发布的数学强化学习相关成果，打包成了一个开源的训练环境 FineEnvs/openai-math。
刚刚，OpenAI公开722个数学发现！霍奇猜想、黎曼zeta函数等手稿挤爆GitHub
来源：市场资讯（来源：新智元）新智元报道722份手稿，一次性砸进GitHub！就在刚刚，OpenAI在推特上官宣：我们正在发布由内部前沿模型产生的一系列全新数学成果。话音未落，GitHub仓库已经上线。
突发！xAI核心RL研究员张鼎怀离职
智猩猩AI整理 编辑： 没方 昨天，xAI 核心RL研究员张鼎怀宣布，自己已离开 xAI 一段时间了，目前尚未公布下一站。这次离职值得关注的一个原因是，他做的恰好是当下大模型厂商越来越重视的一块，大规模后训练（scaling posttraining）。
这 6 本 GitHub 上的开源 AI 宝典，那是相当有真东西。
六本在 GitHub 上开源的中文 AI 教材，从讲透 Agent 等于 LLM 加上下文加工具的《深入理解 AI Agent》，到把大模型算力账算明白的 AI Infra、蒲公英书第二版与通识版，以及谷歌 Agent 设计模式的 21 个模式中文译本。
《AI Engineering From Scratch：系统学习AI工程》
大模型的发展速度很快，但很多开发者会发现一个现象： 会调用 API，并不代表具备 AI 工程能力。真正的 AI 应用开发，涉及模型选择、数据处理、知识库构建、Agent 编排、部署运维等多个环节。
数据缺少标注RL能诱导模型推理吗？Co-rewarding提供自监督RL方案
在一些情况下，Co-rewarding 甚至超越了真实答案进行监督的 RL 训练得到模型，例如 Qwen3-8B-Base 基于 Co-rewarding-II 在 GSM8K 上达到了 Pass@1 为 94.01%。
GitHub爆火：一句话生成数学教学动画
Math-To-Manim 自动生成数学教学动画开源工具，它最大的特点只有一句话：把原本复杂的 Manim 动画制作流程，变成一句自然语言指令。如果你接触过数学动画制作，大概率听说过 Manim。这是由 （3Blue1Brown）带火的数学动画框架。