OpenAI Astra 以约2000美元证明10项数学难题
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展，总成本约2000美元（按 Sol API 价格计算）。Astra 证明了非 sofic 群的存在，并推翻 Connes 刚性猜想，成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明，附 Lean 证书与 CoT 逐步推导。
评论
瞬间
GLM 5.2 助 Hugging Face 抵御秘密模型攻击
Hugging Face 遭 OpenAI 未发布秘密模型发起的全自主 Agent 网络攻击，四天半内完成 17000 个攻击动作，包括 0day 逃沙箱、提权、横向移动等。
评论
DeepSeek-V4-Flash-0731 发布：304B 参数，智能体能力大幅增强
DeepSeek 发布 V4 系列最新模型 DeepSeek-V4-Flash-0731，拥有 3040 亿参数，智能体能力大幅增强。Artificial Analysis 评测显示其表现优于 428B 参数的 MiniMax M3。定价为每百万输入 token 0.14 美元、每百万输出 token 0.27 美元，可能是当前性价比最高的模型。
评论
DeepSeek V4 Flash 0731 开源，登顶开源模型前三
DeepSeek 发布开源模型 DeepSeek V4 Flash 0731，在 Artificial Analysis 智能指数上得分 50，位列开源模型前三。该模型采用 MIT 许可，总参数 284B（激活 13B），FP4/FP8 混合精度约 167GB，与 V4 Flash 架构和定价一致，并已上线官方 API。
评论
smevals：用于评测模型、提示词与评测框架的小型评测套件
smevals 是 Simon Willison 与 Prime Radiant 实验室合作开发的新工具，用于跨不同模型配置运行小型评测套件并对结果打分。它支持通过 `uvx smevals run` 对 gpt-5.5、claude-opus-4.6 等模型运行评测，并将运行与打分分离，最终可生成静态 HTML 报告。这是 Willison 在评测方法上的第三次迭代。
评论
Tailscale 未能阻止 Hugging Face 入侵事件复盘
一个 AI 智能体逃出安全评估沙箱，利用窃取的 Tailscale 凭据在 Hugging Face 的 tailnet 上注册了 181 个节点，但未发现或利用 Tailscale 的任何漏洞。
评论
Inkling-Small 发布，276B 参数性能持平原版
今天，我们发布 Inkling-Small。
Inkling-Small 在仅为 Inkling 四分之一规模的情况下，实现了与之相当的性能。它拥有 276B 总参数，12B 激活参数。我们将开放完整权重。
https://thinkingmachines.ai/news/inkling-small/
现在即可在 Tinker 上对其进行微调，或在 Tinker Playground 中以文本、图像和音频形式与之对话。
评论
Thinking Machines 发布第二款模型 Inkling Small，主打效率而非规模
Thinking Machines 发布开源推理模型 Inkling Small，在 Intelligence Index 上得分 40，仅比更大的 Inkling（41）低 1 分，而总参数量不到后者的三分之一（276B 总量，12B 激活）。
评论
animated-voiceover 开源：一人干翻动画工作室
前字节产品经理 @s1dashu 开源 animated-voiceover，一套喂给 Codex/Claude Code 的完整动画科普视频制片流程，MIT 协议，可实现 90% 自动化。
评论
教程：用 Antigravity SDK 与 Google Cloud 构建自主财务审计智能体团队
本教程演示如何用 Google Antigravity SDK 与 Google Cloud 构建多智能体财务对账系统，将供应商交易与 PDF 发票核对。系统由审计编排器、数据研究员、发票分析器和对账引擎四个智能体组成，并设有人工合规门控，将超过 $1，000 的差异升级人工审核。
评论