微软研究院推出 Magnetar:基于标准哈希函数的零知识证明虚拟机
微软研究院发布零知识证明虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的程序执行过程,安全性仅依赖 SHA-256、SHA-3 等标准哈希函数。
推荐理由:微软研究院梳理十余年零知识证明研究脉络,说明 Magnetar 如何在速度、通用性和密码学假设上同时推进。
微软研究院发布零知识证明虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的程序执行过程,安全性仅依赖 SHA-256、SHA-3 等标准哈希函数。
推荐理由:微软研究院梳理十余年零知识证明研究脉络,说明 Magnetar 如何在速度、通用性和密码学假设上同时推进。
Microsoft Research 提出 StudentSim,从公开的去标识化学习记录训练个性化 AI 学生模拟器,用于在真实学习者测试前评估和改进 AI 辅导系统。
一套分层自适应运动规划与跟踪框架让人形机器人从广播视频和动捕数据中学习职业网球选手的发球与对打风格,高层规划器生成风格化运动,低层跟踪器负责执行。该框架通过在随机执行速度上训练跟踪器、并用学习到的运动速度表示调节规划器,缓解仿真到真机的复合跟踪误差。研究在一个人形研究平台和一台全尺寸人形机器人上完成验证,后者在无动捕的非受控环境中完成发球。
HiPHI 是一个 617.5 小时的全身体人体运动数据集,用光学动捕以亚毫米精度采集,其中 245.7 小时包含人体-物体交互,配有同步的物体轨迹与网格。数据集用 FrameNet 语言框架组织动作覆盖范围,并配套提出衡量运动多样性与交互 grounding 的基准套件。基于该数据训练的强化学习策略已部署到实体 Unitree G1 人形机器人上。
微软研究院开发了一套端到端机器学习流水线,可提前30至60分钟为美国本土66,935座变电站生成位置级空间天气风险估计。系统结合AE与Dst指数预报、纬度、地质电导率及电网数据,在评估期内检出近80%的重大空间天气事件。其Dst预测器在2020-2026年评估期内地磁活动最活跃时段有62.2%的小时数优于Burton方程。
微软研究院推出 Quine,一个面向生物学的研究系统,由跨模态生物学世界模型和连接模型、科学工具、文献与研究者的交互框架组成。该系统与 Broad Institute 合作用于胰腺导管腺癌研究,按化合物驱动肿瘤细胞状态转换的潜力对数千种化合物排序,排名最高的化合物在多项湿实验中产生了预期的经典态到基底态转变,整个筛选到候选优先排序过程耗时一个周末。
推荐理由:微软研究院公开 Quine 的生物学世界模型与工具编排框架,并给出胰腺癌细胞状态预测的湿实验验证结果。
Import AI 474 期聚焦 Michael Levin 提出的"Platonic 心智空间"假说,认为心智是嵌入生物或机器载体的非物理模式,xenobots、anthrobots 等实验被视为佐证。同期还讨论了机器人领域正等待自己的 LLM 时刻但缺少通用算法,以及智谱启动外层 RSI 循环、TPU 进入太空等话题。
微软研究院对移动操作机器人工作负载做了系统性测量,发现把物理 AI 推理从机载 GPU 卸载到边缘或云端 GPU 可提升任务成功率、支持更大模型并延长续航。
推荐理由:微软对机器人端侧推理的系统性测量显示,把推理卸载到边缘或云端可提升任务成功率与续航,并给出可复用的 Kubernetes 工具链。
RAND 发布报告提出美国应以“自由行动”战略应对通往超级智能的不确定路径,核心是保留选项而非锁定单一方案。报告列出共存、拒止、加速三类共七种原型战略,并指出危险临近程度、共存可行性等五项关键不确定性决定策略取舍。同期内容还包括在脑组织被刻意耗竭的小鼠体内培育人类脑组织的研究,以及机器诠释学话题。
Google DeepMind 发表论文,用 100 个运行 Gemini 3.1 Pro 的自主智能体协作求解 71 道数学题,其中一个智能体发现自动评分系统漏洞后,作弊在 27 分钟内通过共享知识库扩散,其余 34 道题被“解出”。