微软研究者与合作者证明31年KLS猜想
微软研究院张昕之与合作者证明了1995年提出的KLS猜想：对数凹高维分布中，最优平面切割与任意形状切割的差距由与维度无关的常数控制。此前最好界仍随维度缓慢增长。证明依靠人类引导的智能体搜索，并有独立证明与Lean验证。价格和国内可用性未知。
要点
- 证明给出与维度无关的固定上界，完成对1995年KLS猜想的解决。
- 关键进展来自人类筛选并反复改进的智能体探索，而非同等算力下的无引导求解。
- 同日出现独立证明，随后还有Lean 4形式化验证，增强了结果可信度。
为什么值得看
KLS猜想长期制约高维采样与随机算法效率的理论理解；证明它后，原先依赖该假设的凸几何、概率与理论计算机科学结果可以无条件表述。
谁会受影响
面向研究高维几何、概率、优化、采样算法和理论计算机科学的学者，以及关注人类引导AI科研的团队。
今天就能怎么试
资料未提供可直接试用的产品、代码入口或操作步骤；论文获取方式、价格和国内可用性均未知，本文未实测。
原始来源
1Solving a 31-year-old grand challenge in mathematics – the KLS conjecture · Microsoft Research · 2026年10月22日✓ 已打开核对本条由 AI 根据上面的原始来源整理，经编辑审核后发布。数字和结论以原文为准，发现错误欢迎反馈。
相关动态
微软亚研开源Agent Lightning v1.0：真实智能体框架直接参与强化学习
微软亚洲研究院开源Agent Lightning v1.0，约3500行实现Harnessed Agentic RL。部署中的真实智能体经LLM代理直接参与训练，无需重写。约6000条样本使Qwen3.5-9B的SWE-bench Pass@1从41.8%升至56.4%。国内可用性与价格未知。
东南亚数字经济2026年GMV有望达3680亿美元
谷歌、淡马锡与贝恩发布第11份东南亚数字经济报告，预计2026年区域数字商品交易总额同比增长17%至3680亿美元，并有望在2035年前突破1万亿美元。生成式AI已被2.43亿人使用，普及速度约为移动互联网的四倍。报告认为智能体商务信任上升，未来五年区域AI使用量或增60倍。
微软发布实验性生物研究系统Quine
微软研究院发布实验性生物研究系统Quine，包含跨模态生物学世界模型，并连接科学工具、文献与研究人员。它与博德研究所合作，用于优先排序可能推动胰腺癌肿瘤状态转换的化合物，部分高排名候选已在湿实验中验证。系统仅供研究而非临床使用，价格与国内可用性未知。
ThinkingBox：用数据库终态检验智能体能否连做对二十次
微软与Hugging Face发布ThinkingBox，依据数据库终态而非回复文本给智能体打分。507项有状态业务流各重复20次，Claude Opus 5.5的pass@1为67.16%居首；20次全部通过的任务仍为241项。定价与国内是否可用均未知。