MathKernel：证据感知的多引擎数学内核及 MCP 服务器
MathKernel 是一个证据感知的多引擎数学内核，同时提供 Python 库和 MCP 服务器，让大模型只负责理解数学意图，而把运算、验证和证据追踪交给专门的计算引擎。它试图解决 LLM 在算术和推理链条上不可靠的问题。
标签： 算力
How Inspur, a blacklisted China-owned company, is bypassing US export restrictions on advanced AI chips via a network of new subsidiaries and partners (New York Times)
被列入美国实体清单的中国服务器厂商浪潮（Inspur），正通过新设子公司与合作伙伴的网络，绕开先进 AI 芯片的出口管制。这表明美国对华芯片限制的实际执行存在明显漏洞，也意味着中国厂商获取算力的渠道比公开文件显示的更复杂。
Sources: at the September 24 US-China talks, the US is expected to discuss preventing AI-directed cyberattacks, and China will likely revisit US export controls (Nikkei Asia)
据 Nikkei Asia 援引消息人士，9 月 24 日的中美会谈中，美方预计将提出讨论如何防范 AI 被用于发动网络攻击，而中方则可能再次聚焦美国对华芯片与 AI 出口管制问题。这是两大议题首次被明确摆上同一张双边谈判桌。
Roku 的全天候 AI 垃圾内容频道，比预想的还要糟糕
流媒体平台 Roku 上线了一个名为 “Fairground AI Creator TV” 的 24 小时免费频道，专门播放由生成式 AI 制作的影视内容。尽管创作者强调 AI 仅用于动画和视觉生产，但多家媒体实测后认为节目质量低劣，引发了对 AI 生成内容是否具备真正观看价值的质疑。
Nvidia 的 Jensen Huang 称“AGI 已经到来”，并向 OpenAI 表示祝贺。
英伟达 CEO 黄仁勋公开表示“AGI 已经到来”，并向 OpenAI 表示祝贺，将当前 AI 大模型的能力拔高到通用人工智能级别。该言论引发开发者社区强烈反弹，多数从业者认为这更像英伟达在芯片销售关键时刻的营销话术，而非基于严谨技术定义。
MathKernel：证据感知的多引擎数学内核及 MCP 服务器
MathKernel 是一个“证据感知”的多引擎数学内核项目，它试图把高级数学题的求解与证明过程，从不可靠的大模型推理中剥离，转移到 SymPy、Z3、Lean 等专业计算与证明工具上，并以 MCP 服务器形式供 AI 代理调用。该项目正在解决大模型“不会做数学题却硬答”这一公认短板。
我拒绝训练可能取代我的AI
Hacker News 上一场关于“是否该训练取代自己的 AI”的讨论，折射出 AI 正在重塑知识工作者的身份危机与生存焦虑。值得警惕的是，评论区指出“AI 解放人类”的叙事背后，隐藏着生产资料所有权与劳动价值交换的结构性难题。
黄仁勋祝贺 OpenAI 发布 Astra：“AGI 已经到来”，学者当场泼冷水
9月7日，英伟达CEO黄仁勋在X平台发文祝贺OpenAI发布新模型Astra，并直言“AGI已经到来”；但AI学者Gary Marcus随即反驳，认为这一判断缺乏科学定义与证据，AGI定性之争再度升温。
讯飞星火 X2.5 正式发布：MoE 架构 293B，代码与智能体能力大幅提升
科大讯飞正式发布星火 X2.5 旗舰大模型，采用 MoE 架构、总参数量达 293B，重点强化代码生成和智能体能力，同时坚持全流程国产算力训练推理。这意味着国产大模型在高端能力上继续加码，代码与 Agent 赛道的竞争将更加直接。
火山引擎内测 AI 版权平台，Seedance 从“防侵权”转向“IP 商业化”
字节跳动旗下火山引擎正在内测“AI 版权管理平台”，允许版权方将已授权的 IP 通过 Seedance、Seedream 等视频与图像生成模型进行商业化创作。这标志着 AI 视频生成从被动“防侵权”转向主动的“IP 变现”，也是一次内容产业与生成式模型在授权机制上的深度磨合。