#Microsoft

Anthropic 设定 IPO 发行价区间 70 至 78 美元，隐含估值达 1.404 万亿美元

Anthropic 在更新后的 IPO 文件中称，将发行 8.25 亿股 A 类股，发行价区间为每股 70 至 78 美元，预计募资 577.5 亿至 643.5 亿美元，按区间上限计算完全稀释估值达 1.404 万亿美元。

同一件事，精选收录的是《Anthropic 启动 IPO 路演，发行价 70 至 78 美元、目标估值至多 1.02 万亿美元》

八国与多家 AI 公司签署巴黎声明，承诺为模型设置关停机制

八个国家、科技公司与民间组织代表于 11 月 9 日签署《巴黎 AI 安全与安保呼吁》，OpenAI、Anthropic、Microsoft、Mistral AI 等公司承诺披露已知风险、支持独立审计，并为受控模型设置关停机制。

Anthropic 启动 IPO 路演，发行价 70 至 78 美元、目标估值至多 1.02 万亿美元

Anthropic 启动 IPO 路演，公开发行 8.25 亿股 A 类普通股，发行价区间 70 至 78 美元，按招股书股数计算目标估值最高 1.02 万亿美元。

微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用

微软研究院联合 GitHub Next 发布研究原型 PDD Kit，把用户意图转成 Verus 形式化规范，再证明编码智能体生成的代码对每个输入都满足该规范，证明覆盖不到的部分回退到测试。

微软研究院发布 Flint-interactive，让智能体生成可交互数据可视化

微软研究院发布 Flint-interactive，一种构建在 Flint 之上的交互式数据可视化语言，让智能体生成可点击、筛选、缩放和跨图表联动的图表。它把点击、拖拽等原始触发解析为语义事件，用户只需用高层算子描述更新行为，布局与渲染依赖由 Flint 编译器处理。

微软研究院等证明31年未解的KLS猜想

微软研究院张新志等研究者证明了1995年提出的KLS猜想，确认对一大类高维概率分布，最佳平面切割与任意形状最佳切割的效果差距不超过一个与维度无关的固定常数。作者在人类主导的智能体搜索流程中探索了100多条候选路径，由研究者筛选和调整方向，最终通过反复递归应用新判据完成证明；同期另有独立团队给出完整证明，并有Lean 4形式化验证。该结果使此前依赖该猜想作为假设的结论可以无条件成立。

微软研究院推出 Magnetar：基于标准哈希函数的通用零知识证明系统

微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序执行过程，并输出可在约 12 毫秒内验证的简短证明。它在笔记本上每秒可证明 720 万至 870 万条 RISC-V 指令，在 15 个基准程序上平均比同类最快 zkVM 快 10 至 39 倍，优化版本可达每秒 950 万至 1280 万周期。

GitHub Copilot 入门：如何让 Copilot 了解你的代码库

GitHub 博客介绍四种让 Copilot 适配项目的方式：用 .github/copilot-instructions.md 定义仓库级规范，用 .github/instructions 下的 applyTo 字段做路径级指令，用 .github/skills 中的 SKILL.md 打包可复用流程，用 .github/agents 创建专用自定义智能体。

GitHub 推出基于 ModernBERT 的密钥检测分类器，扩展 push protection

GitHub 发布与 Microsoft Applied Sciences 合作微调的分类器，把 push protection 扩展到无固定格式的密钥，可在不到 2 毫秒内评估一批候选密钥，并称可让可拦截的密钥数量增加一倍以上。

GitHub 发布 AI 代码审查开放基准 ReviewBench

GitHub 发布 AI 代码审查开放基准 ReviewBench，基于 1.039 亿个 GitHub PR 的分布构建，包含 19 种语言的 219 个公开 PR。