保留完整资讯流，用来源、主题和时间找到你关心的消息。
微软研究院推出零知识虚拟机Magnetar，首次在单一系统中同步解决零知识证明长期存在的三大瓶颈：生成效率低、开发门槛高、后量子安全性不足。它支持Rust/Go/C等主流语言编写的程序直接编译运行并自动生成可验证证明，平均比现有最快zkVM快10–39倍，证明验证仅需约12毫秒，且安全基础仅为SHA-256/SHA-3等经NIST标准化、已受数十年密码学检验的标准哈希函数，无需可信设置、椭圆曲线或未经充分验证的新颖数学假设。
隆重推出Rosalind学术计划，为符合条件的学术实验室提供GPT-Rosalind及各类工具的赞助访问权限，助力生命科学研究的进一步发展。
Apertus 1.5 发布说明
Granite Switch 4.1：从单一终端实现聊天、决策与语音功能
欢迎使用 Muse Spark Open：来自 Meta 的开源前沿多模态专家混合模型
HiRO-ACEv2:模拟极端天气,分辨率为3公里,成本的一小部分
快速运行, 使用 LFM2.5-24B- A2B 的私人代理设备
StudentSim 是一个用于评估和改进 AI 辅导工具的研究系统，这些工具在正式应用于学习者之前会先经过测试。它模拟个体与辅导老师互动的方式，并提供反馈以提升辅导老师在国际象棋、写作和数学等学科上的表现。文章《为更优质的AI辅导而模拟学生学习》最初发表于微软研究院。
官方宣布向 Genesis Mission 提供三年支持计划，涵盖 Claude、API 额度和研究培训。
本来不存在的模特儿,所以你自己做的
边缘多模式开放 d1 决定模型
Jump Trading使用OpenAI扩展定量研究. 参见持续时间较长的AI工作流程如何将多个数据源与人文审查相结合.
OpenAI如何接近欧盟规则下的文字水标记. 了解水印的应用地点,检测工作如何,以及为什么访问始于研究人员.
Holo4:为通用计算机使用剂提供动力
欢迎 RL 环境到中心
Jun Kim, OMLX 创建者和维护者, 加入 Hugging Face 支持 MLX 社区
