Cohere 开源 MoE 模型 Command A+
Command A+ 是 Cohere 最新开源的 MoE 架构大模型，采用 Apache 2.0 协议，专为低算力消耗的 agentic 任务设计。对需要私有化部署、追求数据主权的 B 端团队而言，这是目前少数能直接商用的企业级开源选择。
今日精选 · Today's Picks
NO. 001
AI 证伪 80 年几何猜想
OpenAI 模型推翻了 Paul Erdős 1946 年提出的平面单位距离问题相关猜想，该问题是组合几何领域最著名难题之一。这是 AI 首次在纯数学核心猜想上取得突破性否定证明，可能改变数学家对 AI 辅助研究的信任阈值。
002
003
IDE 深度集成的 AI 编码代理
Oh My Pi 是一个将 IDE 核心能力（LSP、DAP）与 AI Agent 深度绑定的编码助手，支持 40+ 模型提供商和 32 个内置工具。相比表层调用的 Copilot 类工具，它通过 Rust 核心直接操作编辑器底层协议，让代码编辑、调试、搜索的首次尝试成功率大幅提升。
004
320小时AI工程全栈课程开源
一套从0到1的AI工程课程，428节课覆盖Python/TypeScript/Rust/Julia，每节课产出可复用的prompt、agent或MCP server。解决当前AI教育碎片化问题——学生会用工具但不懂底层原理，适合想系统掌握全栈AI开发能力的工程师。
005
开源 WhatsApp API 网关，零厂商锁定
OpenWA 是面向开发者的开源 WhatsApp API 网关，支持插件化架构自由切换数据库、存储和缓存后端。对需要自建消息基础设施、规避 Meta 商业 API 成本和限制的团队是刚需替代方案。
006
吉卜力开源2D动画制作工具
OpenToonz 是 DWANGO 发布的 2D 动画软件，源自吉卜力工作室多年定制版本。对 AI 工程师而言，其 C++ 架构和 HLSL 着色器管线是研究传统渲染与 AI 工作流结合的理想样本。
007
Electron 跨平台影视聚合播放器开源
Streambert 是一款基于 Electron 的桌面应用，支持全球电影、剧集和动漫的流媒体播放与下载，内置字幕管理和隐私保护。对需要自建媒体工作流或研究内容聚合技术的开发者有参考价值，但其版权灰色地带意味着工程能力之外需评估合规风险。
008
OpenAI模型证伪80年几何猜想
OpenAI的推理模型通过符号推导找到了反例，否定了Erdős于1946年提出的平面单位距离问题中的核心猜想。这是AI首次在纯数学领域推翻长期悬而未决的猜想，标志着形式化推理能力从辅助验证迈向主动发现。
009
AI Agent 自动化测分布式系统
两个纯 Markdown 技能文件让 AI Agent 自主设计并执行分布式系统的声明式测试，输出结构化测试计划和 9 态裁决报告。对苦于分布式系统测试难复现、难定责的工程师，这意味着可以把混沌工程的部分工作交给 Agent 闭环完成。
010
AI编码用形式验证防越权漏洞
文章提出用形式验证门控替代更智能的Agent来解决AI编码中的安全漏洞问题，核心思路是通过结构化的系统约束（如类型系统、访问控制层）而非依赖模型每次正确推理。对正在用AI辅助编码的团队有直接参考价值，尤其是多租户系统和权限敏感场景。
011
VSCode 恶意插件攻破 GitHub 内网
GitHub 员工安装恶意 VS Code 扩展导致约 3800 个内部仓库数据被窃取。这是供应链攻击穿透大厂内网的典型案例，所有依赖 IDE 插件生态的团队都需重新评估扩展安全策略。
012
OpenAI 即将启动 IPO
据 WSJ 独家报道，OpenAI 正筹备尽快提交 IPO 申请。这标志着全球估值最高的 AI 独角兽正式进入公开市场倒计时，将重塑 AI 行业的资本格局和竞争规则。
013
Stable Audio 3：可变长度音频生成
Stability AI 发布第三代音频生成模型，支持按实际时长生成而非固定长度输出，并内置音频编辑的 inpainting 功能。对需要批量生成音效、BGM 的开发者，可显著降低推理成本和后期剪辑工作量。
014
Google 搜索排名打压 AI 产品
多个 AI 工具开发者称 Google 搜索算法突然将其网站排名大幅下调，流量暴跌。若属实，AI 初创公司的获客成本将显著上升，SEO 策略需重新评估。
015
SBCL 手写汇编优化 14 字节到 9 字节
这篇 2014 年的技术博客展示了如何在 SBCL（Steel Bank Common Lisp）运行时中手动优化 x86-64 汇编指令，通过修正寻址模式编码将 NEXT 序列从 14 字节压缩到 9 字节。对需要极致性能优化的底层开发者有参考价值，尤其是 Lisp 运行时和解释器实现者。
016
安娜档案遭1950万美元天价判决
13家出版商联盟在纽约联邦法院赢得针对影子图书馆Anna's Archive的默认判决，获赔1950万美元并获全球域名下架令。对AI工程师而言，这加剧了训练数据获取的法律风险，合规数据源和合成数据方案的价值正在上升。
017
欧洲推主权支付替代Visa
欧盟计划2026年推出独立于Visa和Mastercard的本土支付系统，覆盖1.3亿用户。这对跨境支付基础设施和金融科技架构选型有直接影响，尤其是依赖欧美支付栈的出海欧洲项目。
018
RL推理新正则化方法防模型自退化
提出Anti-Self-Distillation方法，用点互信息（PMI）替代传统KL散度作为强化学习约束，解决推理模型训练中常见的自蒸馏导致的模式崩溃问题。对正在做 reasoning RL 的团队有直接参考价值，可能替代现有 PPO/GRPO 中的标准正则化项。
019
视频模型
视频多模态大模型的音频理解能力实际上是视觉驱动的幻觉，模型靠画面猜声音而非真正处理音频流。该发现对构建可靠的音视频对齐系统有重要警示意义，做视频理解产品的团队需警惕这一盲区。
020
主动学习降低排序模型推理成本
将主动学习（Active Learning）应用于逐点重排序（PRP），用更少标注数据达到同等排序效果。对需要部署高效重排序系统的团队，这意味着推理成本可大幅降低而不牺牲精度。
021
Falco团队推AI编码代理安全治理工具
Prempti是CNCF Falco团队推出的AI编码代理策略与可见性工具，解决Claude Code等代理在终端执行命令、访问网络时的安全盲区问题。AI工程师现在需要在"让代理高效干活"和"防止它乱动生产环境"之间做权衡，这个工具提供了细粒度策略控制。
022
GCP 误封大客户 Railway 账号
Google Cloud 因误操作封禁了托管平台 Railway 的企业账户，导致其全球服务中断数小时。这暴露了云厂商账户风控系统的黑箱风险，对依赖单一云基础设施的团队是警示。
023
HyperAPI 社区送 20 刀 API 额度
HyperAPI 在 V2EX 发帖赠送 20 美元 API 使用额度，用户留 ID 即可领取，引发 309 条回复的抢码热潮。对需要低成本测试多模型 API 接口的开发者是零门槛薅羊毛机会。
oof that sucks; i really wish there was more info on why google decides to crawl or not crawl a page
https://xcancel.com/pokemoncentral/status/205712380740463825...
Thank you