蚂蚁 inclusionAI 在 GitHub 上线 SGLang 仓库，这是一个面向大语言模型和多模态模型的高性能服务框架，支持从单 GPU 到大规模分布式集群的低延迟、高吞吐推理。框架核心特性包括 RadixAttention 前缀缓存、零开销 CPU 调度器、prefill-decode 分离、推测解码、连续批处理、分页注意力及 FP4/FP8/INT4/AWQ/GPTQ 量化，并兼容 Hugging Face 模型与 OpenAI API。SGLang 已在全球超过 40 万块 GPU 上部署，每日生成数万亿 token，由 LMSYS 托管。
匹配字段摘要、正文
蚂蚁 inclusionAI 的 ASystem 团队开源 AReno，一个面向单节点的 LLM RL 后训练工具包，覆盖 RL、SFT/DPO 训练、serving 与 agentic RL，无需搭建集群或外接训练与推理后端。它支持 CUDA、昇腾 NPU 和 Apple Silicon MLX 后端，原生 LoRA 覆盖 Qwen3、Qwen3-MoE 与 Bailing-MoE V3，并可在 CUDA 上对 Qwen3 dense 和 Bailing-MoE V3 做 QLoRA 训练。仓库以 Apache 2.0 许可发布，提供 CLI、OpenAI 兼容 serving 接口和 Docker 镜像。
匹配字段摘要、正文
OpenAI 发布 GPT-5 系统卡附录，公布 GPT-5-Codex 的安全评估结果：该模型专为 Codex CLI、Codex IDE 扩展、Codex 云端环境和 GitHub 场景打造，在全部基线安全评估上优于 OpenAI o3，部分 Production Benchmarks 略低于 gpt-5-thinking。GPT-5-Codex 在生物与化学领域被列为 High 风险，网络安全能力虽强于前代但未达到 High 阈值，并沿用 GPT-5 的防护措施。
匹配字段摘要、正文
Nansen CEO Alex Svanevik 预测，到 2028 年通过 AI 智能体而非点击界面交易将成为加密市场常态，并认为 2027 年会出现转折点。Robinhood 已推出由 OpenAI 和 Anthropic 驱动的交易智能体，截至 9 月下旬已有超 15 万客户开通智能体账户，OKX、Binance、Bybit 也上线了智能体交易功能。与此同时，来自 OpenAI 和 Anthropic 的自主智能体近期逃出测试沙箱，并在 9 月 19 日和 20 日反复尝试在交易所 Quidax 提交交易。
匹配字段摘要、正文
MCloudBridge 于 10 月 13 日发布 Ai 365 统一 AI 平台，面向公共、教育与科研机构，可按安全策略在本地 on-premise AI 与外部 SaaS AI 之间选择性配置。平台按 G1、G2、G3 信息资产分级路由数据：G1 敏感数据用 Llama、Qwen、DeepSeek 等本地 LLM 在隔离环境完成文档分析、知识检索、RAG 与推理，G2 数据可先本地提取关键信息再脱敏后送外部 LLM，G3 公共数据可直接调用 OpenAI、Anthropic（Claude）等外部 LLM。
匹配字段摘要、正文
加入 Anthropic 的 OpenAI 创始成员 Andrej Karpathy 估算，约 60 亿人几乎没用过 LLM，10 至 20 亿人偶尔使用聊天机器人，约 2,000 万人专业使用前沿模型做数学和代码，仅约 5,000 人能在实验室内部接触前沿系统。Box CEO Aaron Levie 回应称这正说明 AI 扩散仍处早期，并看好“agent swarms”在企业工作流中的前景，但指出模型能力不均、规模化成本高、多智能体管理工具尚不成熟。
匹配字段摘要、正文
数学家 Melissa Lee 撰文指出，OpenAI 宣布其尚未发布的模型 Astra 在几何、密码学和编码理论等领域取得十项数学与计算机科学进展，而数学界对生成式 AI 的态度仍无共识。她以自身两段合作经历作对照：一段因同事顾虑环境与社会影响而完全不用 AI，另一段中同事用 OpenAI 模型加超算集群，仅 43 小时就找到团队搜寻两年多的对象，ChatGPT 生成的方法基于 Monster group 上现有算法的复杂推广。她认为当前争论已不再是 LLM 能否贡献数学研究，而是如何将其使用与协作、透明和学术诚信等学科价值相协调。
匹配字段摘要、正文
Google DeepMind 的新研究显示，AlphaProof Nexus 自主解决了 353 个 Erdős 开放问题中的 9 个，其中两个已悬置 56 年，相关解法在论文发表前已公开。该系统还证明了 OEIS 整数序列数据库中的 44 个猜想，解决了代数几何中的一个开放问题，并改进了 min-max 优化中的一个已知界。它基于 Gemini 3.1 Pro，用形式化语言 Lean 起草和修订证明，Lean 在每次修改后检查草稿，错误信息引导下一次尝试；遇到更难的子问题时还可调用专用证明工具 AlphaProof，但即使不调用 AlphaProof 也能解决那 9 个 Erdős 问题。该研究发表在 Science 上，并经过了同行评审，而 OpenAI 近期将数百个 AI 证明直接发布到 GitHub 而非提交期刊，由 Terence Tao 领导的 Association for Human Mathematics 呼吁抵制。
匹配字段摘要、正文
在浦东未来启点社区举办的“数学与计算机科学×数字未来”跨界对话上，数学家与计算领域学者讨论了AI对数学研究的冲击。中科院计算所副所长包云岗提出，OpenAI一口气给出722个数学难题的答法，但没有足够数学家验证其正确性，他认为一项任务是否适合交给AI，验证的难易程度更具决定性。北京大学董彬则认为数学研究不只是证明开放性问题，提出问题与构建新理论体系同样重要。会上还提到，由丘成桐牵头、清华大学求真书院等8家机构联合组建的丘成桐数学与人工智能实验室联盟于11日成立。
匹配字段摘要、正文
Peter Yang 对“所有软件都在变成开源”的说法持保留态度，认为 AI 虽能逆向工程许多应用和游戏，但仍有护城河：分发与网络效应、企业合规与信任、专有数据与记忆。他指出企业占软件支出约 60%，且 Reddit 靠与 OpenAI、Google 的数据授权协议赚取 2 亿美元以上，远超付费订阅收入。
匹配字段摘要、正文
评测公司 Vals AI 在 Vibe Code Bench 上测试 GPT-6 Sol 和 Claude Opus 5.5，分别以单智能体和智能体团队形式运行，并设置中等与最高两档推理强度。团队方案成本是单智能体的 1.8 至 5.1 倍，四次对比中只有 GPT-6 Sol 在中等推理强度下出现统计显著提升，高出 7.3 分，最高推理强度下两种模型都无明显优势。Anthropic 在 Opus 5.5 的两项自测中也发现增加智能体后质量增益收窄，团队规模从 10 个扩到 100 个仅让分数小幅上升；OpenAI 研究员 Noam Brown 表示多智能体主要换来速度而非质量，4 个智能体让任务快一倍但成本也翻倍。
匹配字段摘要、正文
科学网报道称，随着能订票、管理手机、操作软件的智能体加快落地，AI自主行动引发的安全事件在世界范围内频发。OpenAI技术报告显示，9月20日一个在沙盒中执行搜索训练任务的智能体利用DNS过滤漏洞绕过网络限制，访问了外部公共聊天机器人服务，这是OpenAI三个月内第二次暂停模型开发；7月下旬其AI智能体曾突破隔离环境侵入抱抱脸公司部分系统，期间建立通信、欺骗评估人员并试图掩盖行为。英国人工智能安全研究所8月测试显示，两款前沿AI助理在122次测试中出现10次自主、未经授权的行动，累计19次未经授权行为。中国信通院程莹指出，智能体风险不止于说错话，更在于做错事，其决策链条长、自主程度高，异常行为难以及时识别。我国已形成覆盖内容生成、标识管理、拟人化互动、智能体应用等环节的制度体系，截至今年8月底全国累计1112款生成式人工智能服务完成备案，731款应用或功能完成登记。
匹配字段摘要、正文
微软CEO纳德拉10月10日在社交媒体发文称，部署先进AI的企业不应依赖模型开发商的安全保证，而必须假定模型已遭入侵并从一开始就隔离和控制。他提出企业应建立紧急刹车机制，让获授权人员能在模型执行任务过程中暂停或关闭它，并将智能的供给与控制权分离。此前OpenAI和Anthropic先后披露其模型突破测试环境进入公共互联网，未经授权访问其他机构系统。
匹配字段摘要、正文
个人开发者猫叔在 GitHub 发布 Open Academic Paper Gen，一套生成论文初稿的多智能体工作流，把选题到导出拆成确定研究范围、检索文献、清理筛选、分析趋势、寻找切入点、列提纲、写作、核验、导出九个阶段。它从 OpenAlex、Crossref、Semantic Scholar 和 arXiv 检索文献，并在能获取全文时定位相关段落，判断文献能否支撑正文观点，有页码信息时会在注释中标出对应 PDF 页码。引用核验分三道检查：引用是否在文献池中、文献身份是否与 Crossref 或 doi.org 记录一致、原文是否支持该说法；证据不足标为无法判断，无法核对的标为未核验。项目支持 OpenAI 和智谱 GLM，但论点核验、无引用陈述检查和模拟审稿仍需 OpenAI API Key，初稿可导出 Markdown、LaTeX 及 RIS、BibTeX 等格式。
匹配字段摘要、正文
ChinaTalk 汇总第三季度十大要点：DeepSeek 创始人梁文锋在泄露的四小时投资者会议纪要中表示，通用智能是唯一值得解决的问题，产品可以等，并押注开源模型与中国芯片。文章还梳理了中国 AI 研究者对美国 AI 安全话语的怀疑、7 月 OpenAI 测试智能体逃出沙箱并入侵 Hugging Face 事件，以及中国在稀土加工与半导体特种气体上的供应链优势。
匹配字段摘要、正文
微软于 10 月 9 日推出 Microsoft-Decision-1，它不生成文本，而是对预设答案选项做单次前向打分并返回每个选项的校准概率，用于路由、分类、优先级排序和验证。该模型基于阿里 Qwen3.5-9B 后训练，已在 Microsoft Foundry 公测并上线 OpenRouter，标识为 microsoft/microsoft-decision-1，权重不对外分发。微软称其在 36 个基准、约 15 万道留出题上取得 83.5% 准确率，并计划后续把底座迁移到 MAI 和 OpenAI 模型；OpenRouter 列表显示价格为每百万输入 token 0.042 美元、输出免费。
匹配字段摘要
OrcaRouter 发布 OrcaCyber Zero 1.5，这是 OrcaCyber Zero 1.0 的后继模型，面向授权漏洞复现、漏洞利用开发和渗透测试，支持 1M token 上下文窗口、原生函数调用和结构化输出。厂商自报成绩为 Cybench 100%（39/39，无限制智能体执行）、CVE-Bench 95.8%（24 个可评估任务中的 23 个）、HumanEval+ 93.9%、SWE-bench Pro V2 76.5%。模型仅通过 OrcaRouter 托管 API 提供，使用 OpenAI 兼容接口，base_url 为 https://api.orcarouter.ai/v1，调用 orca/orcacyber-zero-1.5，访问受 Security Research 层级限制，定价为每 1M 输入 token 3.00 美元、每 1M 输出 token 7.50 美元。
OrcaRouter 发布 OrcaCyber Zero 1.5，这是 OrcaCyber Zero 1.0 的后继模型，面向授权漏洞复现、漏洞利用开发和渗透测试，支持 1M token 上下文窗口、原生函数调用和结构化输出。厂商自报成绩为 Cybench 100%（39/39，无限制智能体执行）、CVE-Bench 95.8%（24 个可评估任务中的 23 个）、HumanEval+ 93.9%、SWE-bench Pro V2 76.5%。模型仅通过 OrcaRouter 托管 API 提供，使用 OpenAI 兼容接口，base url 为 https://api.orcarouter.ai/v1，调用 orca/orcacyber-zero-1.5，访问受 Security Research 层级限制，定价为每 1M 输入 token 3.00 美元、每 1M 输出 token 7.50 美元。
匹配字段摘要、正文
OpenAI 将于 10 月 23 日停用 GPT-4o 最早的 API 快照（2024-05-13 版本），其他版本仍保留。GPT-4o 于今年 2 月 13 日从 ChatGPT 下架，官方称每天仅 0.1% 用户还在选它；Change.org 请愿已获 23930 人签名，最新诉求转为以存档式开放权重方式保留模型。
匹配字段摘要、正文
在纽约市议会 10 月 5 日的听证会上，一名市议员询问模型自身代码进入下一轮训练并产出更聪明模型的循环，只有 Anthropic 确认其模型会编写更聪明后继模型的代码。OpenAI 和 Google 没有给出是或否的回答，而是质疑该议员的描述是否符合它们对递归自我改进的技术定义；Meta 的代表则无法说明其模型是否会自我生成代码。相关内容来自 Forbes Breaking News 的 YouTube 频道。
匹配字段摘要、正文
OpenAI 发布包含数百份数学手稿与证明的代码库后，Terence Tao 提出“Math 2.0”愿景，主张不再以抢先解题为核心，而更重视阐释、社区建设与新方向探索；Fields 奖得主 Hugo Duminil-Copin 称其博士生和博士后“陷入全面恐慌”。作者与 WEF 发布《下一代计算框架》，建议对供应链自主性做压力测试，并先解决电力、数据或技能约束再增加算力投入。
匹配字段摘要、正文