Mistral 将 aiDotEngineer 活动带回巴黎
Mistral 将去年售罄的 aiDotEngineer 活动带回巴黎，演讲者来自 Mistral、BFL AI、Cognition 和 Hugging Face 等公司。
全球 AI 动态简报
-
-
MiniMax 与 Together Compute 将在伦敦举办开放模型经济学 AI 活动
MiniMax 与 Together Compute 已开放其伦敦活动“Open by Design：生产环境中的 AI 经济学”的注册，活动将于 9 月 16 日举行。
-
MiniMax 与 Together Compute 将在伦敦探讨开源模型的成本经济学
MiniMax 与 Together Compute 将于 9 月 16 日在伦敦举办活动，探讨开源模型如何改变生产级 AI 的成本结构。
-
LiteLLM 每周五中午 PT 在 Discord 举办办公时间
LiteLLM 邀请用户每周五中午（太平洋时间）前往官方 Discord 服务器，参与问答、反馈与建议交流。
-
Claude 完成费马大定理的首次 Lean 形式化证明
Anthropic 的 Claude 使用 Lean 证明助手完成了费马大定理的首次形式化证明，这也是迄今规模最大的 Lean 证明。专家原本认为这一工作需花费多年时间。
-
LiteLLM AutoRouter 新增一键自动配置功能
LiteLLM 的 AutoRouter 现支持一键自动配置，可扫描可用模型，并根据最佳实践为每个层级预配置最优路由。
-
OpenCode 开发者宣布 5000 美元 Rebase 活动 20 分钟后开始
OpenCode 开发者 dax 发布消息，称一场 rebase 活动将在 20 分钟后开始，总奖金 5000 美元。
-
Claude Fable 5.1 展示一次生成游戏场景的 AI 能力
据称，使用 Claude Fable 5.1 一次生成即可得到雨夜反光的赛璐璐风格日本街道、可进入的自助洗衣店、NPC 对话以及 3D 世界中的 2D 像素精灵。
-
Meta 发布 Muse Spark 1.3 Max：以更低价提供前沿性能
Meta 已在 Muse Code 和 Meta Model API 上发布 Muse Spark 1.3（max reasoning），以更低价格提供强劲的编程与智能体性能。
-
Meta 发布支持最大推理的 Muse Spark 1.3，已在 Muse Code 和 API 上线
Meta 已公开发布支持最大推理的 Muse Spark 1.3，现已在 Muse Code 和 Meta Model API 上线；相比此前的 1.3 版本，其编程与智能体能力更强。
