人工智能

人工智能

Ai2通过更智能的令牌技巧将卫星图像AI成本降低3倍

与v1相比，Ai2的OlmoEarth v1.1将计算成本降低了多达3倍，使得更便宜的大规模地图更新成为可能。关键创新在于合并Sentinel-2图像基于分辨率的令牌，将令牌数量减少三倍，同时通过修改预训练保持性能。

2026-07-05

人工智能研究

验证地平线：为什么验证编码代理现在比构建它们更难

一个经典的直觉是，验证解决方案比产生解决方案更容易。对于今天的编码代理，这一直觉已经颠倒：生成复杂解决方案现在是容易的。困难的部分是可靠地验证它们。

2026-07-05

机器人流量

Cloudflare将从2026年9月起默认屏蔽混合用途网络爬虫

Cloudflare将从2026年9月起默认阻止混合用途爬虫访问托管广告的页面，针对的是那些融合搜索、代理和AI训练用途的机器人。该政策旨在为网站所有者提供更多控制权和商业机会，因为如今网络上的非人类流量已超过人类流量。

2026-07-05

模型发布

DeepSeek-V4 预览版发布，开放权重模型竞争愈发激烈

DeepSeek 推出 DeepSeek-V4 预览版，具备顶级推理和更强的智能体能力，现已跨平台可用。此次发布标志着开放权重 AI 竞赛的重大升级，给 OpenAI 和 Google 带来了压力，要求其证明闭源策略的合理性。

2026-07-05

Anthropic Academy：免费学习Claude的平台

Anthropic 推出自己的在线学院，提供关于 Claude、API、MCP 协议以及企业最佳实践的免费课程，并可获得证书。

2026-07-04

人工智能安全

你的AI研究代理每次网络查询都会泄露隐私数据

MosaicLeaks揭示，深度研究代理可能通过网络查询泄露企业私有数据，即使单个查询本身无害。新的训练方法PA-DR将泄露率从34%降至10%以下，同时不影响准确性。

2026-07-04

人工智能

AI是人类智能的延伸，而非替代

现代AI系统之所以强大，并非因为它们复制了人类智能，而是因为它们延伸了人类认知和语言中已经存在的结构。这一视角有助于解释AI的能力及其反复出现的边界，包括幻觉和组合性缺口，并将AI安全的焦点从“失控AI”叙事转向系统级治理和人类责任。

2026-07-04

密码学隐私

Vega 将零知识证明应用于身份验证，耗时不到100毫秒

Vega 允许用户在不透露证件本身的情况下，通过零知识证明（ZKP）在消费级硬件上于100毫秒内证明来自政府ID的事实。它支持移动驾照和欧盟数字身份钱包等现实格式，并采用折叠重用方案降低了重复出示证明的成本。

2026-07-04

大语言模型推理优化

Aleph Alpha 构建理论推理模型，从硬件原语解码 DeepSeek V3 性能

Aleph Alpha 的理论模型仅凭硬件参数即可预测 DeepSeek V3 的推理性能，揭示 GPU 数量和互连带宽如何改变计算、内存和通信之间的瓶颈。

2026-07-04

AI研究与开发

马嘉祺给MiniMax工程师上了难忘的一课：被遗忘的token

MiniMax对M2模型无法输出“马嘉祺”这一名字的内部调查发现，预训练词汇表与后训练数据分布之间存在结构性不匹配。根本原因在于：低频率token的lm_head向量在SFT过程中发生漂移，丧失了生成能力，但保留了理解能力。全词汇覆盖修复方案解决了该问题，同时也缓解了日语中的语言混杂现象。

2026-07-04

AI硬件

消息称SpaceX开发AI设备原型，但马斯克予以否认

《华尔街日报》报道称，SpaceX已打造出一款比iPhone更小巧的AI设备原型，整合了xAI技术和专属操作系统。马斯克称该报道“完全虚假”，而分析师指出，SpaceX的制造能力和无线通信野心使此举具有可行性。

2026-07-04

人工智能

微软开源 Data Formulator 0.7，助力企业AI分析

Data Formulator 0.7 结合了数据连接器、上下文感知代理和迭代工作空间，使企业团队能够跨碎片化系统准备、探索和可视化数据，无需编码。该开源版本旨在减少集成工作，并使分析工作流可重现。

2026-07-04