「测试用例生成」共找到 3736 篇相关文章
终于轮到 AI 上夜班了，我去睡
Qoder 推出 Qwen3.7-Max 和 Qwen3.7-Plus 错峰折扣，白天 08:00 到 22:00，Qwen3.7-Max 5 折；22:00 到次日 08:00，Qwen3.7-Max 2 折，Qwen3.7-Plus 4 折。作者测试后认为适合内容创作者，还给出使用建议。
Karpathy、Claude Code之父Boris，最新访谈，把整个程序员圈炸了！
假期红衫AI Ascent 2026上，Claude Code之父Boris与Karpathy演讲引发关注。Boris称编程执行层已解决，他用Claude App工作，全公司代码由模型生成；Karpathy提出Software 3.0概念，还谈到模型能力不均匀。两人还对面试、创业等给出看法。
大模型思维链推理速度倍增！——RoT新框架把思维链「画」进隐空间
随着大模型规模扩展，思维链（CoT）成处理复杂推理任务标准范式，但显式CoT依赖长序列生成，隐式CoT面临优化挑战。腾讯提出RoT新框架，利用视觉编码器将文本推理步骤转为视觉嵌入，实现Token压缩与推理加速，且过程可分析。
最新实测GPT-5-Codex：前端能力碾压，复杂项目轻松搞定，Claude可以扔了!
OpenAI发布GPT-5-Codex，网友称可告别Claude Code。实测其前端能力提升大，能轻松完成复杂项目，如一键生成小游戏、手稿直出网页等。虽有页面UI堆叠小瑕疵，但仍值得支持。此外，Grok 4有突破，马斯克看好Grok 5。
腾讯出手了！彻底入局Agent
腾讯云入局智能体赛道，将大模型知识引擎升级为智能体开发平台。该平台亮点多，如可一键发布到企业微信，具备多工具调用、多Agent协作能力，工作流有全局视野Agent节点，还有Excel检索增强功能，经测试表现出色。
普林斯顿团队领衔发布最强开源数学定理证明模型：32B性能大幅超越前代SOTA DeepSeek 671B
近日，普林斯顿大学牵头多机构推出开源数学定理证明模型 Goedel-Prover-V2。其 32B 旗舰模型在多基准测试超 DeepSeek-Prover-V2-671B，8B 小模型特定基准性能与之持平。该模型有三项关键创新，团队已公开模型及数据集。
MIRIX重塑AI多模态长期记忆：超Gemini 410%，节省99.9%内存，APP同步上线
UCSD和NYU团队推出开源的MIRIX，全球首个多模态、多智能体AI记忆系统。它表现亮眼，在多任务中超越传统方法，有类人记忆系统等特点，还上线Mac端应用，开启大模型从对话生成到长期记忆驱动心智的新周期。
CVPR 2026 ReSAM：每个目标只标1个点，SAM就能学会分割遥感图像
CVPR 2026收录论文《ReSAM: Refine, Requery, and Reinforce: Self-Prompting Point-Supervised Segmentation for Remote Sensing Images》，提出让SAM每个目标只标1个点，通过R³循环自己生成高质量伪标签训练。在WHU建筑数据集上，1点标注与全监督差距仅1.3%，省99%标注成本。
都在卷「让大模型多循环几遍」，这个7B模型LoopCoder v2说：多循环 1 次就够了
当下推理模型流行在测试时多循环，以打磨答案。但新研究发现，7B模型LoopCoder v2只多循环1次（共2次），就能大幅提升性能，继续增加循环次数，性能反而下降。研究还分析了收益与成本，给出选择循环次数的诊断方法。
我用1分钟开发了个上线应用，有阿里Meoo谁还学编程啊
阿里新出AI开发工具Meoo（秒悟），全程无需写代码，通过说话提需求，1分钟就能生成可上线、可分享、可交互的完整应用。它内置阿里云全家桶，能自动完成云服务环境搭建、数据库配置等，还支持创意社区和多人协作。