智见

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

一位研究者在6周内通过Claude Code实现了高效产出，分享了他的AI辅助编程秘诀。

• 作者不再亲自编写代码，而是成为”AI代理的管理者”，自动化团队中的重复性工作
• 他编写了第一个Claude Code技能 /git-pr，能自动完成PR的创建、描述撰写等流程，PR描述比人工写的更全面
• 通过SWC替代传统构建工具，服务器重启时间从约1分钟降到1秒以下，保持心流状态不被打断
• 让Claude Code直接查看UI效果变化，代理可以自行验证UI，无需作者每次检查，成为真正的”管理者”
• 建立工作树系统解决端口冲突问题，从同时处理2个分支到可以同时运行5个甚至更多
• 代理能够自我纠错，大幅减少作者介入的频率

原文链接：https://neilkakkar.com/productive-with-claude-code.html

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

GPT-5.4 Pro成功解决了一道Ramsey超图领域的前沿数学开放问题。这是首次有AI模型解决此类高难度数学难题。

• 问题涉及寻找超图构建方法来改进H(n)序列的下界，这是数学中同时收敛级数研究的一部分
• 解决方案由Kevin Barreto和Liam Price使用GPT-5.4 Pro首次获得，问题贡献者Will Brian确认了答案的正确性
• Will Brian表示：这个解决方案非常精彩，AI的方法消除了他们下界构造中的低效问题，在某种意义上与上界构造的复杂性相呼应
• 后续其他模型也成功解决了该问题，包括Opus 4.6、Gemini 3.1 Pro和GPT-5.4 (xhigh)版本
• Brian计划将解决方案撰写成论文发表，可能包括AI启发的新研究方向

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

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