跳到正文
今天10月23日周五2 条
10月22日周四
10月16日周五
  1. Microsoft Research50

    Magnetar:基于证明的通用计算

    Microsoft Research 的 Magnetar 在通用程序零知识证明上取得进展,平均速度比此前最快的同类系统快 10 至 39 倍。它可为 Rust、Go 或 C 程序生成执行正确性证明,安全性仅依赖标准哈希函数。验证者可在毫秒内检查证明,无需重新运行程序,也无需获取程序输入数据。

10月12日周一
  1. Import AI47

    Import AI 476:创造力与递归自我改进、逊于中国模型的开放权重模型、AI 走向太空

    Import AI 第476期聚焦 AI 的科研创造力与递归自我改进、视觉推理短板,以及太空工业化可能带来的先发优势。Humanity’s Sixth Sense 基准中,GPT 6 Astra 的 pass@1 为53.6,人类为93.1。TasteVal 则以8项前沿 AI 研发任务,评估模型选择研究问题、设计实验和解读结果的能力。

9月28日周一
7月29日周三