1、陕西省教育厅：拟设立 5 家成人文化教育类培训机构

陕西省教育厅发布公示，拟设立 5 家营利性民办成人文化教育类培训机构，包含新东方无忧、景岳考研、博华成人教育等机构。办学业务覆盖考研、专升本、英语、成人继续教育辅导，注册资本区间 30‑100 万元。按照当地管理规则，机构须取得办学许可并完成法人登记后方可开展招生教学，本次公示周期至 9 月 9 日。

2、字节跳动 Gauth 用 AI 教数学，还支持用户创建 AI 互动课

字节跳动旗下海外学习产品 Gauth 全面上线 AI Course，新增 200 多门体系化 AI 数学课，覆盖美国高中代数、几何直至 AP 微积分。课程将抽象数学概念可视化，内置 AI 助教，学生可随时暂停提问。平台开放用户生成课程能力，学生输入学情与学习目标即可生成 AI 互动课程并分享，全球累计下载量超 2 亿次，从拍照解题工具向一体化 AI 学习平台升级。

3、DeepSeek 突然扩招 150 人，AI 越强公司怎么还越需要人？

DeepSeek 放出约 150 个招聘岗位，岗位集中于服务端开发、Agent 弹性计算基建，不开放 AI 算法研究岗。文章探讨行业现实：AI 能力提升不等于企业可以大规模裁员。用户规模、API 调用、Agent 任务暴涨带来系统复杂度，需要大量工程师建设调度、隔离运行的底层平台。同时 Notion 也在大举扩招，印证个人 AI 效率提升，并不等同于企业组织规模必然收缩，基建、交付、运维会催生大量新增岗位。

4、11 天、30 万美元：AI 攻破 358 年数学难题的最后一关

Anthropic 借助 Claude 多智能体协作，耗时 11 天、耗费约 30 万美元算力成本，完成费马大定理首个端到端可机器校验的形式化证明。项目产出 1300 万行 Lean 代码，验证近 3 万条中间定理。怀尔斯早年完成人类版本证明，但缺少完整机器形式校验，本次 AI 补齐该关键环节，为 AI 辅助前沿数理科研开辟全新范式。