搜索 AI 资讯

OlmoEarth v1.3发布：面向全球地表的高性能开源卫星嵌入模型

Allen Institute for AI发布OlmoEarth v1.3，提供全行星10米分辨率、64维与128维预计算卫星嵌入向量，并配套交互式探索工具Embeddings Explorer，支持零代码变更检测、相似区域检索与轻量分类建模。

数学界31年未解难题KLS猜想获证：高维几何与随机算法理论取得根本性突破

微软研究院研究员张鑫志与合作者于2026年10月4日完成Kannan–Lovász–Simonovits（KLS）猜想的严格证明，终结了自1995年提出以来长期悬而未决的核心问题。该成果确立了高维对数凹分布中‘平面切割瓶颈’的维度无关常数界，为随机采样、凸优化与理论计算机科学提供了无条件理论基础。

谷歌研究推进AI代理扎根真实湿实验室：构建自主生物发现的三大技术基石

谷歌研究院发布三项关键技术进展——VERID数字孪生框架、闭环适配体发现系统、靶向表位切除蛋白设计流程，推动AI代理在真实湿实验室中实现可追溯、可验证、自迭代的分子发现闭环。

微软发布Magnetar：支持Rust/Go/C的通用零知识虚拟机，基于标准哈希函数实现量子安全证明

微软研究院推出零知识虚拟机Magnetar，首次在单一系统中同步解决零知识证明长期存在的三大瓶颈：生成效率低、开发门槛高、后量子安全性不足。它支持Rust/Go/C等主流语言编写的程序直接编译运行并自动生成可验证证明，平均比现有最快zkVM快10–39倍，证明验证仅需约12毫秒，且安全基础仅为SHA-256/SHA-3等经NIST标准化、已受数十年密码学检验的标准哈希函数，无需可信设置、椭圆曲线或未经充分验证的新颖数学假设。

谷歌推出零信任聚合私有分析技术，融合密码学与可信执行环境

谷歌研究团队发布新型私有分析方案，通过创新的单轮格密码聚合协议与可信执行环境（TEE）协同验证，实现无需信任单一实体的数据聚合，在保障用户数据始终驻留设备的前提下，获取群体级匿名洞察。

推荐理由：人工审核