蚂蚁Ring-1T正式登场，万亿参数思考模型，数学能力对标IMO银牌

10月14日凌晨，蚂蚁万亿级思考模型Ring-1T正式登场，这是全球首个开源的万亿参数思考模型。它在多项基准测试中表现出色，数学能力达IMO银牌水平，还展示了强大的代码、推理、写作等能力，其背后是IcePop算法与ASystem框架的支撑。

马斯克发布 Grok 4 模型：推理能力较前代提升 10 倍，各学科测试接近满分

xAI 发布 Grok 4 及 Grok 4 Heavy 模型，推理能力较前代提升 10 倍，多测试接近满分。马斯克称其为世界最好 AI。它在多方面表现出色，如长任务能力强、推理效率佳等，但代码能力欠佳，且付费昂贵。后续还将推多款模型。

老黄杀入OpenClaw战场！最强开源「龙虾」模型直逼Opus 4.6

英伟达推出新一代开源模型Nemotron 3 Super，专为大规模AI智能体打造，有1200亿参数，推理快、吞吐量高，性能直逼Claude Opus 4.6等。它解决了Agent应用的难题，还开源了相关数据和训练方法。此外，英伟达还在打造NemoClaw开源AI智能体平台。

刚刚！Kimi Linear横空出世，全新注意力架构：1M长文本解码速度飙升6.3倍，KV缓存砍掉75%

月之暗面推出全新注意力架构Kimi Linear，有望成下一代Agent LLM基石技术。它解决了LLMs处理长序列任务的瓶颈，性能超传统机制，还开源了核心代码。Kimi Linear的KDA模块提升了表达和硬件效率，实验表现佳。

后AlphaFold时代的冷思考，AI制药的破与立 | GAIR live 028

雷峰网等组织“后AlphaFold时代AI制药的破与立”线上圆桌，三位学者探讨AI制药问题。指出算力难颠覆生命法则，数据有缺陷，还给出赛道选择建议，提及AI Agent重塑科研关系及中国AI制药优势与挑战。

告别模板时代！妙多VP张昊然：生成式AI如何驱动UI设计的范式革命

在AICon2025上海站，妙多副总裁张昊然分享生成式AI在UI设计领域的影响。他回顾初代生成式UI的‘套模板’技术，讲述技术革新后回归代码生成界面，还探讨让AI理解设计系统、妙多AI 2.0理念及未来UI工具假设。

Claude Code 5亿美元背后的AI工程革命

文章介绍了Claude Code的诞生故事、技术选型、开发流程等。它从听歌小工具变为年入5亿美元产品，90%代码自写，开发流程快，还重新设计终端交互。Anthropic团队各环节AI化，也有特殊条件，有些经验可借鉴。

AI 时代，编程语言选型更难也更重要：Go、Rust、Python、TypeScript 谁该上场？

AI 写码成常态，编程语言选择更重要。创业者 Armin Ronacher 指出语言权衡需重审，会影响 Agent 代码质量。他认为 Go 在 AI 场景合适，公司绕不开 Python 和 JavaScript。还分析多种语言特点、适用场景及 AI 对编程的影响。

n8n是开源工作流程自动化工具，提供直观界面创建自定义流程，支持超400应用集成。过去一年增长迅速，活跃用户超20万，ARR增长5倍，GitHub获77.5k star。介绍其创立背景、优势特点，用户评价褒贬不一，还提及与其他工具对比及“公平代码”理念。

Anthropic更新了Skill Creator，评测框架上线

Anthropic更新Skill Creator，上线评测框架。该框架无需写代码，能处理两类技能测试需求，可测试和改进技能，有捕获质量回归等用途。还增加基准模式、多Agent支持等，能让技能触发更可靠，更新已在Claude.ai等可用。