跳到正文
今天10月27日周二1 条
10月22日周四
  1. Microsoft Research85

    Microsoft Research 证明 31 年前提出的 KLS 猜想

    Microsoft Research 的 Xinzhi Zhang 与合作者 Zhao Song 证明 1995 年提出的 Kannan–Lovász–Simonovits(KLS)猜想,表明对数凸分布的最佳平切与任意形状切口的差距以一个通用常数为界,与维度无关。

    推荐理由:官方一手介绍证明思路与人类引导 AI 的搜索过程,读者可以了解这项工作如何结合数学判断与多智能体探索。

    Alpha-X 解读
8月24日周一
  1. Import AI43

    Import AI 470:机器权利之争、SPADE 自动化环境生成与 Hawkeye GPU 内核优化

    本期 Import AI 报道 METR 研究显示 AI 对网络安全的加速最显著、数学次之、AI 研究本身尚难量化。多校团队推出 SPADE 框架,通过自博弈共同进化环境合成与智能体能力,在 Qwen3-30B-A3B 上游戏环境套件平均达 58.3,较基线高 5.3,工具使用环境也全面提升。此外还介绍 Hawkeye 用于构建更好的 GPU 内核。

    Alpha-X 解读
7月26日周日
5月8日周五