Microsoft Research· Anson Ho·· 3 天前
Microsoft Research Focus 第 98 期：AI 通用翻译、31 年数学难题与编码智能体效率
Microsoft Research Focus – Edition #98
AI 导读
Microsoft Research Focus 第 98 期聚焦多项研究进展：AI 语音翻译推动通用翻译落地，新研究解决了高维几何领域悬置 31 年的 KLS 猜想，其证明已通过计算机辅助形式化验证。
入选记录
门槛 60官方一手第一次 22第二次 22
未入选两次之和 44 < 门槛的两倍 120
- 信源等级
- 官方一手，这一级的门槛是 60 分
- 预筛
- 通过：正文详述AI翻译、编码Agent、分词器等研究
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：Microsoft Research · microsoft.com