个人电脑也能跑出顶级编程智能体？今日凌晨，阿里开源了一款小型混合专家模型Qwen3-Coder-Next，专为编程智能体（Agent）和本地开发打造。该模型总参数80B，激活参数仅3B，在权威基准SWE-Bench Verified上实现了超70%的问题解决率，性能媲美激活参数规模大10-20倍的稠密模型。
英伟达新论文让AI学会先盖房、再装修。
刚刚，谷歌发布了一项新的研究进展：他们用 Gemini 做了一次系统性的数学攻关实验，把目标对准了著名的 Erdős Problems 数据库里 700 个仍被标注为 open（未解决）的猜想。
面对同行评审，许多作者都有过这样的经历：明明回答了审稿人的每一个问题，态度也足够谦卑，为什么最终还是没能打动对方？
Clawdbot火爆全球，国产算力却不能用？AI Agent迎来高光时刻：Ollama只支持CUDA，中国团队直接把国产版开源了！正面硬刚Ollama，5分钟让国产芯片跑通OpenClaw！
有时，你或许正手握热门产品而不自知，直到市场需求显现。
太带劲了！抢先Claude 5，OpenAI深夜祭出了一个编码杀器——Codex。它可以让一人指挥多Agent并行协作，自带Skills，编码从此进入自动化时代。
“80%的手机App会被吃掉！”
企业 AI 转型，再也不需要自建 agent 了
让模型真正 “能行动”，往往需要一个可执行、可验证的符号世界模型（Symbolic World Model）：它不是抽象的文字描述，而是能被规划器或执行器直接调用的形式化定义 —— 例如 PDDL 领域 / 问题，或可运行的环境代码 / 模拟器。
