跳到正文
今天10月13日周二4 条
  1. Microsoft Research51

    微软研究院发布 StudentSim:用学生模拟器评估和改进 AI 导师

    微软研究院提出 StudentSim,一种从公开去标识化学习记录训练个性化学生模拟器的研究系统,用于在真实学习者测试前评估和改进 AI 导师。该系统沿行为保真度和指导响应性两个维度评估,覆盖国际象棋、第二语言英语写作和数学三个领域,并配套 StudentSimEval 基准。

10月12日周一
  1. The Decoder82

    Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并通过同行评审

    Google DeepMind 的 AlphaProof Nexus 独立解决了数十个开放数学问题,相关研究发表在 Science 上。它攻克了 353 个 Erdős 开放问题中的 9 个,其中两个已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想、解决了一个代数几何开放问题,并改进了 min-max 优化中的一个已知界。

    推荐理由:AlphaProof Nexus 在 Erdős 开放问题上取得成果并走完同行评审,可与 OpenAI 未投稿的做法形成对照。

10月11日周日