Flint-interactive：面向AI代理的交互式数据可视化编程语言
微软研究院发布Flint-interactive，一种构建高表达力、语义化交互式数据可视化的专用语言。它通过编译器将用户操作（如点击、刷选）自动映射为语义事件，并以高层算子驱动图表、表格、文本等多元素联动更新，显著降低AI代理生成可靠交互可视化所需的成本与开发复杂度。
AI NEWS JOURNAL
搜索 AI 资讯
检索标题、摘要与正文，把分散的信息连起来。
微软发布Magnetar：支持Rust/Go/C的通用零知识虚拟机，基于标准哈希函数实现量子安全证明
微软研究院推出零知识虚拟机Magnetar，首次在单一系统中同步解决零知识证明长期存在的三大瓶颈：生成效率低、开发门槛高、后量子安全性不足。它支持Rust/Go/C等主流语言编写的程序直接编译运行并自动生成可验证证明，平均比现有最快zkVM快10–39倍，证明验证仅需约12毫秒，且安全基础仅为SHA-256/SHA-3等经NIST标准化、已受数十年密码学检验的标准哈希函数，无需可信设置、椭圆曲线或未经充分验证的新颖数学假设。