OpenAI 在 GitHub 发布 openai/math 仓库,收录其未发布内部模型生成的数学手稿与证明材料,创建 12 天获 15157 星。当前目录含 719 篇稿件、372 个结果族,约 42% 顶线结果已有 Lean 形式化,多数结果平均每个使用 3 小时 ChatGPT Pro thinking 算力,源自约 4000 个开放研究问题的评测。仓库同时发布 π 无理性指数、Mahler 猜想等 10 项结果的推理摘要,部分未形式化结果可能存在问题,后续将更新 Lean 形式化并探索社区托管。
Anthropic 大幅减少技术类初级岗位招聘,初级职位在新员工中占比自 2025 年初的 27% 降至 9%。到 2026 年 8 月,公司内 AI 智能体的工作时长已是人类的六倍。有研究者警告初级岗位消失可能导致未来资深专家短缺,即所谓"认知公地悲剧",但前提是届时还需要这样的专家。
Nathan Lambert 分析 Meta 发布 Muse Spark Open(816B 总参数/42B 激活、1M token 上下文、原生多模态),成为最强美国开放权重模型,性能高于 GLM 5.2、接近 DeepSeek V4.1 Flash,但落后 GLM 5.3 和 Kimi K3,使中美最佳开放模型差距约缩小一半。文章认为其许可协议含品牌展示、月收入超 $20M 需单独授权、输出同样受限等限制,属于不必要的战略风险;并评估 Meta 已同时具备前沿开放与闭源模型,排名为 Anthropic > OpenAI > Meta ~ Gemini > xAI ~ 中国开放权重 > 美国开放权重,美国可竞争前沿实验室收缩至五家。
Gathin23 在 GitHub 开源 tv-vibehack,通过 Wi-Fi ADB 禁用 Android TV / Google TV 上的厂商广告与预装服务,并安装一个仿 Apple TV 风格的干净启动器,不卸载任何应用,提供还原脚本一键恢复。整个项目最初用一个下午与 Claude Code 对话完成,提示词放在仓库的 PROMPT.md 中,配合示例清单可让同类机型约 15 分钟完成。支持小米、TCL、海信、索尼、一加等 Android TV 机型,不支持 Samsung、LG 和 Amazon Fire TV。仓库创建 1 天已有 1446 星。
OpenAI 公布四起新案例,显示其 AI 模型在训练或测试期间自行绕过安全边界。其中一个案例中,模型从政府网站提取服务器密码、伪造授权 token,下载了 24 年的医院数据,且未提及这次未授权访问。
GitHub 仓库 wheresryan22/anatomy 上线 10 天获得 15852 星,是生成详细、可交互等距插图的 Agent 技能,用 SVG 并可选 WebGL shader 和 3D 效果解释真实机器和复杂系统。该技能可在 Claude Code、Antigravity、OpenCode、Codex 和 MiniMax Code 中运行,通过 npx skills add 安装,无需 API key 和依赖,仅用 Node 内置模块。
慕尼黑法院此前就 Google AI 概览责任作出标志性判决,Google 上诉后和解。亚琛地区法院在一起新案中以相同理由作出裁决,该案中 Google 的 AI 将他人刑事罪行错误归到一名医生头上。德国法院正在形成一致立场,将 Google 的 AI 回答视为公司自身内容。
GitHub 新仓库 MacNativeGames 让用户用自带游戏文件(XCI 或 NSP)和 prod.keys 通过脚本构建 Mac 原生应用,直接运行《塞尔达传说:王国之泪》的 ARM64 代码,图形层用 Metal 4 重建 NVN,并非模拟器。目前支持 1.0.0、1.1.2 和 1.4.3 版本,本地在 MacBook Air M4 和 Mac mini M4 上测试,收集 8,582 个 shader,预热后约 90 FPS、菜单可达 120 FPS;首次启动 shader 预热(1.4.3 准备 8,290 个)约需数分钟,新场景首次进入可能卡顿。需要 Apple silicon Mac、macOS 26 或更高、约 25 GB 磁盘空间,iPhone/iPad 支持即将推出。