微软研究院：31 年来的数学难题 KLS 猜想被证明
微软研究院的研究人员与合作者结合新的数学思想与人工指导的 AI，证明了耗时 31 年的 KLS 猜想。该研究确立了 log-concave 分布的几何原理，即简单的平面切割可在固定因子内捕捉其最窄瓶颈，且与维度无关。
阅读原文 来源：Microsoft Research
推荐理由研究者利用人工指导的 AI 过程证明了 KLS 猜想，确立了高维几何的几何原理，并提供了机器可验证的正式证明，这对优化、算法和统计学等领域有深远影响。
实时信息流
筛选后的动态
Microsoft Research一手精选
BIS 研究论文一手精选 BIS研究：利用LLM测量地缘经济压力下企业响应
研究利用大语言模型阅读财报，测量企业如何响应地缘经济压力。出口管制促使目标企业在国内加大研发以建立本土替代技术，尤其受美国半导体和人工智能管制的中国企业。对俄罗斯实施的制裁导致联盟国（欧美）收入损失和资产减记，欧洲面临能源成本冲击，而中国和印度等第三方国家因填补市场真空而受益，获得折扣油价和重新路由的贸易。
阅读原文 来源：BIS 研究论文推荐理由原文通过 LLM 读取财报，系统性测量了地缘经济压力下企业的响应与行动，提供了从出口管制到制裁、关税三种压力手段的实证对比，揭示了供应链重组与国内研发投入的关键变化。
Hugging Face Blog一手精选 The Agent Said It Was Done. The Database Disagreed.
Microsoft 和 Hugging Face 联合发布 ThinkingBox 基准，用于评估 AI 代理在业务工作流中的可靠性。基准通过在 507 个 stateful 工作流中各重复运行 20 次，测量代理留下的数据库状态和副作用，而非仅依赖其生成的文本。
阅读原文 来源：Hugging Face Blog推荐理由ThinkingBox 基准揭示了 AI 代理在 507 个业务工作流中 20 次重复运行后的可靠性差异，展示了 pass@1 与 pass@20 的巨大落差，并提供可直接在 OpenEnv 上运行的基准工具。
已经到底了