搜索
新一代大型推理模型，如 OpenAI-o3、DeepSeek-R1 和 Kimi-1.5，在复杂推理方面取得了显著进展。该方向核心是一种名为 ZERO-RL 的训练方法，即采用可验证奖励强化学习（RLVR）逐步提升大模型在强推理场景 (math, coding) 的 pass@1 能力。
超越软件的编程范式革命 长久以来，编程被定义为一种严谨的、逻辑驱动的活动，是将人类意图转化为机器可执行的、确定性指令的过程。然而，AI正在颠覆这一核心定义，将编程从“Coding”这一动作，提升到“表达意图”和“实现愿景”的更高维度。
10天前Amazon发布了他们自己的开发平台，Kiro IDE，其中有一个很厉害的交互功能“Spec（Specification）”，强调的是规范的文档，说明书，以一套非常结构化的方法确保开发过程的系统性、可控性和质量，堪称现代软件工程的最佳实践。让vibe coding有一个规范的范式。
AI Coding太火，微软也坐不住了。 GitHub放大招，新工具GitHub Spark只需自然语言，就能把你的想法变成APP。
Cursor突然断供，码农AI Coding就像被砍掉了手脚！如今，清华系最强平替MonkeyCode站在了C位，不仅性能炸裂、成本超低，还能应对复杂编程任务，首发支持Kimi K2和Qwen3。
任何足够先进的科技，都与魔法无异。—— 亚瑟・克拉克，科幻小说作家、发明家
最近一周，AI Coding产品简直如同井喷。
Vibe Coding 2.0来临，中文就是最热门编程语言！全新ShellAgent横空出世，无需敲代码，几句话即可搞定一个APP。人手一个爆款Agent时代，即将到来。
Dogfooding（内部试用） 应该被 AI 创业公司重视起来了。
最近使用cursor的朋友可能已经遇到了这个问题：打开Cursor，准备使用Claude- sonnet4开始Vibe Coding，却看到了"Model not available"的提示。这不是您的网络问题，而是Cursor对中国地区用户限制了高级模型的访问。对于习惯了AI辅助编程的工程师来说，这简直像是突然失去了得力助手。