代码生成
Cursor 内置三大文档工具，为AI 编程注入精准上下文
有效利用各类文档资源是克服大模型编程挑战的关键。Cursor 提供的三个工具 (@Docs、@Web 和 MCP) 通过直接访问官方文档、互联网资源和企业内部文档，帮助开发者为 AI 提供精准上下文，从而提升代码生成的质量。
陶哲轩“喂饭级”AI教程来了！只用GitHub Copilot证明函数极限问题
视频新人博主陶哲轩展示了如何使用GitHub Copilot来证明数学定理，从函数极限问题入手，演示了求和、求差和求积定理的证明过程，并强调了正确引导Copilot的重要性。
中科院提出DEER：让Reasoning提前退出，推理提速50% 准确率涨10%
MLNLP是国内外知名的机器学习与自然语言处理社区。旨在促进学术界、产业界和爱好者的交流合作。近期提出DEER技术来解决大型语言模型冗长推理的问题，通过监测思考转折词和置信度评估实现。
DeepSeek-R1-Zero被“轻松复现”？10%训练步数实现数学代码双领域对齐
通过SRPO方案，快手Kwaipilot团队在处理数学与代码混合数据时实现了效率和效果的双赢。SRPO结合了两阶段训练范式和历史重采样技术，仅用10%的训练步数，在AIME24和LiveCodeBench基准测试中超越了现有模型的表现。