跳到正文
10月20日周二
10月16日周五
  1. 论文Microsoft Research71

    微软研究院发布 Magnetar:基于标准哈希函数的通用零知识证明系统

    微软研究院发布零知识虚拟机 Magnetar,可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行,在 15 个基准程序上比现有最快 zkVM 平均快 10 到 39 倍,证明验证约 12 毫秒。

    推荐理由:微软研究院公开 Magnetar 的技术设计与基准数据,可了解零知识证明在通用程序上的性能与密码学取舍。

10月15日周四
  1. 论文Latent Space50

    Leash Bio 的 Ian Quigley 谈 DEL 数据、Hermes 模型与智能体科学推理平台 Minos

    Leash Bio 基于 DNA 编码库(DEL)积累的高通量蛋白-小分子相互作用数据,训练出 Hermes 模型,在公开基准上与 Boltz 持平。其 Kaggle 竞赛用约 4B 条测量数据、约 2000 支队伍验证了未见化学库上无人超越随机水平。团队将该数据用于智能体科学强化学习,已发展为 Minos,并发布预印本、博客与开放数据集。

10月14日周三
  1. 论文MIT News · AI71

    MIT 团队用机器学习后处理将两到六周天气预报准确率翻倍

    MIT 等机构研究人员在 Nature 发表论文,提出一种机器学习后处理层,通过学习并修正现有预报模型的误差,将两到六周次季节预报的准确率提升一倍,并在 ECMWF 的预报竞赛中夺得第一。该模型首次在次季节尺度上稳定优于气候平均值,并显著改善极端天气预测,可作为附加模块用于任意预报模型,且已开源、运行成本低。肯尼亚气象部门已联系团队,计划用其改进季风季预报以提升农业产量。

    推荐理由:该研究用后处理层把两周以上预报准确率翻倍,并首次在次季节尺度上超过气候平均,对农业与能源调度有直接参考。

10月13日周二
10月7日周三