分类： 未分类

开发者基于 Google Gemini Embedding 2 构建了一款名为 SentrySearch 的工具，实现对行车记录仪视频的亚秒级语义搜索。

• Gemini Embedding 2 原生支持视频嵌入，无需转录或帧标注，直接将视频像素投影到 768 维向量空间
• 用户可以用自然语言描述（如”红色卡车闯红灯”）直接搜索视频，系统自动返回匹配片段
• 1 小时视频索引成本约 2.84 美元
• 自动跳过静止画面减少 API 调用，进一步降低成本
• 搜索结果可自动裁剪并保存为新视频片段

原文链接：https://github.com/ssrajadh/sentrysearch

🕐 发布于: 2026年03月25日 12:02

Arm 正式发布 Arm AGI CPU，这是该公司 35 年历史上首次推出自主品牌的硅产品。

• 基于 Arm Neoverse 平台，专为大规模 Agentic AI 工作负载设计
• 单机架可提供超过 8160 个核心，支持液冷 200kW 设计可达 45000+ 核心
• 相比最新 x86 系统，单机架性能提升超过 2 倍
• Meta 为首席合作伙伴，Cerebras、Cloudflare、OpenAI 等也是早期合作伙伴
• 商业系统现已接受订单，来自 ASRockRack、Lenovo 和 Supermicro

原文链接：https://newsroom.arm.com/blog/introducing-arm-agi-cpu

🕐 发布于: 2026年03月25日 12:02

Epoch AI 确认 GPT-5.4 Pro 成功解决了一道数学前沿问题。该问题涉及超图 Ramsey 理论中的下界优化。

• 解决方案由 Kevin Barreto 和 Liam Price 首次使用 GPT-5.4 Pro 获得，数学家 Will Brian 验证了正确性
• 该解法消除了原有下界构造中的低效问题，从某种角度复制了上界构造的复杂性
• 除了 GPT-5.4 Pro，Opus 4.6、Gemini 3.1 Pro 等其他模型也相继解决了这一问题
• 预计相关论文将在专业数学期刊发表

原文链接：https://epoch.ai/frontiermath/open-problems/ramsey-hypergraphs

🕐 发布于: 2026年03月25日 12:02

开发者Soham RajDharia推出SentrySearch，一款利用Gemini Embedding 2实现视频语义搜索的工具。

• 直接将视频分块并嵌入到768维向量空间，无需转录或帧描述
• 支持自然语言查询，如”红色卡车闯红灯”，可直接匹配视频片段
• 1小时视频索引成本约2.5美元
• 默认设置：30秒分块，5秒重叠
• 内置优化：自动跳过静止帧以降低成本
• 配套提供自动剪辑功能，搜索结果可直接保存为裁剪视频
• 兼容任何mp4格式 footage，不仅是特斯拉Sentry Mode

原文链接：https://github.com/ssrajadh/sentrysearch

🕐 发布于: 2026年03月25日 08:06

Epoch AI宣布GPT-5.4 Pro成功解决了FrontierMath开放问题中的一个前沿数学难题——Ramsey风格超图问题。

• 这是首次有AI模型解决FrontierMath开放问题集中的难题
• 数学家Will Brian确认了解决方案的正确性
• 解决方案消除了下界构造中的低效问题，在某种意义上与上界构造的复杂性相呼应
• 后续测试中，Opus 4.6、Gemini 3.1 Pro和GPT-5.4 (xhigh)也能解决该问题
• 原始问题要求改进H(n)的下界，H(n)是超图研究中的重要序列
• 专家数学家估计人类专家需要1-3个月才能解决此问题

原文链接：https://epoch.ai/frontiermath/open-problems/ramsey-hypergraphs

🕐 发布于: 2026年03月25日 08:06

Arm正式发布Arm AGI CPU，这是其35年历史上首次推出自主设计的硅芯片产品。

• 基于Arm Neoverse平台，专为AI基础设施设计
• 采用1OU双节点配置，每个刀片包含272核心，标准36kW风冷机架可容纳8160核心
• 与Supermicro合作开发200kW液冷设计，可容纳超过45000核心
• 单机架性能比最新x86系统提升2倍以上
• Meta为首席合作伙伴和客户，双方共同开发针对千兆瓦级基础设施优化的芯片
• 其他合作伙伴包括Cerebras、Cloudflare、OpenAI、NVIDIA等
• 已开放从ASRockRack、Lenovo和Supermicro订购

原文链接：https://newsroom.arm.com/blog/introducing-arm-agi-cpu

🕐 发布于: 2026年03月25日 08:06

AI数学能力里程碑：

• Epoch AI确认GPT-5.4 Pro解决了一道Ramsey风格超图数学开放问题
• 该问题由Kevin Barreto和Liam Price首次用GPT-5.4 Pro解答
• 问题贡献者Will Brian确认了答案的正确性，计划撰写发表
• Brian评价：这消除了我们下界构造中的低效问题，与上界构造的复杂性相呼应
• 后续测试中，Opus 4.6、Gemini 3.1 Pro、GPT-5.4等其他模型也成功解决

原文链接：https://epoch.ai/frontiermath/open-problems/ramsey-hypergraphs

🕐 发布于: 2026年03月24日 18:03

开源AI编程验证工具：

• 记录AI Agent的每一步操作，生成视频、错误日志和证明文件
• 支持视频录制、错误检测、交互式时间线和PR就绪的产物
• 兼容Claude Code、Cursor、Codex、Gemini CLI、Windsurf等主流AI编码工具
• MIT开源许可证

原文链接：https://proofshot.argil.io/

🕐 发布于: 2026年03月24日 18:03

移动设备AI能力突破：

• 有演示视频展示了iPhone 17 Pro运行400B参数的大语言模型
• 这标志着移动设备上的AI能力进入新阶段
• 此前难以想象手机能本地运行如此规模的模型

原文链接：https://twitter.com/anemll/status/2035901335984611412

🕐 发布于: 2026年03月24日 18:02

Mozilla AI推出Cq——一个专为AI编程代理设计的问答平台，旨在解决AI编程中的重复问题。

• Stack Overflow提问量从2014年每月超过20万条暴跌至2025年12月的3862条，回到2008年上线水平
• 这与ChatGPT等AI工具的崛起同步发生——用户转向AI寻求答案，而非在社区分享知识
• 然而AI代理在工作中反复遇到相同问题，消耗大量token和计算资源
• 新的AI代理需要自己的”Stack Overflow”，Mozilla将此称为”逆向吞噬”现象
• AI代理的知识来自Stack Overflow的语料，然后这些AI又”杀死”了Stack Overflow社区
• Mozilla AI致力于保持技术开放、标准化，防止少数大公司垄断AI技术的使用方式

原文链接：https://blog.mozilla.ai/cq-stack-overflow-for-agents/

🕐 发布于: 2026年03月24日 12:03