「代码检查工具」共找到 3236 篇相关文章
谢赛宁团队新基准让LLM集体自闭，DeepSeek R1、Gemini 2.5 Pro都是零分
纽约大学等8家机构研究者提出LiveCodeBench Pro竞技编程基准测试，评估了Gemini 2.5 Pro等前沿大模型。发现当前模型有显著不足，在无外部工具时，高难度题通过率为0，LLM与人类大师级水平差距明显。
分割一切并不够，还要3D重建一切，SAM 3D来了
深夜 Meta 重大更新，上线 SAM 3D、SAM 3。SAM 3D 含物体与场景重建、人体形状与姿态估计两模型，能将 2D 图转 3D 重建结果。SAM 3 可检测、分割与跟踪图像视频物体。Meta 开放模型权重与代码，推体验平台。
成本暴降99%！万人大会系统全是AI生成的，Vibe Coding终于真上战场了
百度世界大会2025上，无代码对话式应用搭建平台“秒哒”升级到2.0，能全栈应用一键生成，综合成本降99%。它靠多智能体协作，整合百度生态，后端能力强，还发起黑客松大赛，海外版也上线。
深度揭秘OpenAI如何让GPT-5「技术性」超越Claude：悄悄跳过最难的23道题
OpenAI发布会上称GPT-5代码能力全球第一，其在SWE-bench Verified基准获74.9%通过率，略高于Claude Opus 4.1的74.5%。但OpenAI未做23道难题，若计入，GPT-5实际通过率或低于Claude。
对话宋亚宸：从 3D 生成到世界模型，VAST想搭一套「可交互世界」的底座
VAST是一家专注通用3D大模型研发与落地产品建设的人工智能公司。创始人宋亚宸表示，3D生成未普及是缺3D UGC平台，所以从工具和模型入手。该公司核心产品Tripo Studio成果显著，今日还宣布完成5000万美元A轮融资。
AI给你的总是平庸答案?5.8万星插件证明:问题不在模型,在你
GitHub上5.8万星的`taste-skill`仓库，无模型代码，仅用文本规则让AI编程工具输出更有品味。揭示AI默认给平庸答案是概率采样结果，还给出反中位数三问及AI时代变贵的是判断力。
Cursor 3 发布：IDE 不重要了，智能体控制台上位，VS Code 这一套开始失效
Cursor 3 发布，用智能体管理控制台取代传统代码编辑器，标志 AI 辅助开发工具与开发者工作流程重大转变。它带来多仓库支持、Cloud Handoff 等功能，转型源于竞争压力，业界对智能体编排层架构设计未达成共识。
鹅厂员工都Vibe Coding出了什么好玩的东西？
Vibe Coding让‘人人都是产品经理’成可能，无需代码基础，几句对话就能将想法变成现实。鹅厂员工用它做出很多好玩的东西，如监控工具、小游戏、相册搜索app等，有不少还进行了开源。
人类最后考试登上Nature：全球50个国家近千名顶尖学者打造的AI测试集
人类最后的考试（HLE）登上Nature，这一测试集由全球50个国家近千名顶尖学者打造，含2500道高难度试题。现有的人工智能评估工具已跟不上技术演进，HLE能测出AI极限，让顶尖机器暴露短板。
Agent也能蒸馏了！性能超好
大模型运行成本高，普通用户用不起。传统小模型模仿大模型解题步骤易出错。论文提出Agent蒸馏，让小模型学会用检索和代码工具，还加首思前缀与自我纠错“外挂”，使小模型性能直逼大模型。