跳到正文
10月24日周六
10月22日周四
  1. Microsoft Research85

    Microsoft Research 研究者与合作者证明 KLS 猜想,解决 31 年数学难题

    Microsoft Research 研究者与合作者证明了提出于 1995 年的 Kannan–Lovász–Simonovits(KLS)猜想,证明相关界限不随维度增长。研究团队采用人类引导的 AI 智能体搜索流程,探索了约 100 条研究路径;同等总 token 预算下的无引导尝试未能解决问题。独立团队随后给出并行证明,另有 Lean 4 形式化验证工作。

    推荐理由:研究展示了人类引导 AI 智能体探索数学思路的具体流程,并与同等 token 预算下未能解决问题的无引导尝试作了比较。