近日，快手KAT-Coder-Pro V1进行了1210版关键迭代，聚焦Agentic Coding领域核心能力升级，为全球开发者带来了更高效、更贴合业务场景的AI编码辅助体验。凭借此次迭代，KAT-Coder-Pro V1在权威评测机构Artificial Analysis(AA)榜单中表现亮眼，以64分综合评分跻身全球总榜TOP10 ...

MAYA MURAD: Mojan is a senior researcher and fellow lab mate from AI Frontiers, based in Redmond. Mojan has been at the heart of developing the Phi suite of small language models, which have made a ...

OpenAI最近宣布的Codex CLI具备高推理能力，这是AI驱动编码工具的一项重大进步，建立在2021年8月首次发布的Codex基础之上。根据Greg Brockman在2025年8月24日的推文，这一新CLI版本强调高推理以实现最大生产力，可能整合了类似于2024年9月发布的o1模型预览中的高级思维 ...

2025年7月28日，智谱发布GLM-4.5，融合ARC（Agentic、Reasoning、Coding）能力，获得高度关注。 详见往期：智谱GLM-4.5：推理、代码、智能体 SOTA 2025年8月11日晚，智谱开源多模态视觉推理模型GLM-4.5V，1060 亿总参数、120 亿激活参数的 VLM（Vision-Language Model，视觉-语言模型 ...

【新智元导读】智谱新一代旗舰「融合大模型」GLM-4.5，集成推理、代码与智能体能力，实现原生智能体模式。该模型具备极高性价比与生成速度，支持全栈Agent开发、网页创作、PPT生成等多功能，实际表现惊艳。 GPT-5还没影子，但国产这边一个「融合大模型」 ...

DeepSeek R1 催化了 reasoning model 的竞争：在过去的一个月里，头部 AI labs 已经发布了三个 SOTA reasoning models：OpenAI 的 o3-mini 和deep research， xAI 的 Grok 3 和 Anthropic 的 Claude 3.7 Sonnet。随着头部 Al labs 先后释出自己的 reasoning model ...

未来标准化的软件最后都会被 SaaS 化，卖软件的生意会日益缩水，市场上定制的软件会越来越多。 10月20日，Coding正式对外发布“码市”，码市是一个基于众包的软件外包平台，链接企业发包方（甲方）和程序员（乙方）。 现实软件外包过程中，甲方的烂尾率达 ...