「好表现定义」共找到 3274 篇相关文章
DeepSeek R2没来，Kimi K2来了，VLLM，SGLang首发支持
Moonshot AI发布Kimi K2大语言模型，采用混合专家架构，总参数量达1万亿。其有多项技术创新，在多个基准测试表现突出。发布两版本，用修改版MIT协议开源，vLLM、SGlang首发支持，已上线多服务。
假简历狂骗硅谷 10+ 家 AI 公司、拿多头薪水被锤！印度工程师喊冤：每周拼 140 小时，我也很绝望
印度工程师 Soham Parekh 同时供职多家硅谷初创公司被曝光。他面试表现佳，获多家公司青睐。Parekh 称是为摆脱财务困境，每周工作 140 小时。事件引发争议，有人视其为骗子，也有人建议他利用名气创业。
中山大学&华为联合提出 Issue Resolution 数据集构建神器SWE-Factory：每条只要$0.024
中山大学和华为联合提出低成本开源方案 SWE-Factory，可自动收集代码打造高质量代码评估数据集。它能解决传统构建流程繁琐、依赖人工的问题，实现全流程自动化，还构建了 SweSetupBench 数据集，表现出色。
太多人误解了「苦涩的教训」
《“苦涩的教训”》一文常被误解，其核心观点是能充分利用计算资源扩展的方法会超越不能扩展的方法。人类知识短期易获好结果，但长远看，唯有随算力增长的方法最终胜出，如深蓝、AlphaGo Zero的案例。
继续吃瓜！Sam Altman 公开邮件：我没有偷创意，反击IYO创始人“求收购不成反诉讼”
Sam Altman 公开发文并附邮件截图，反击硬件初创公司 IYO 诉讼。IYO 创始人 Jason Rugolo 多次求投资或收购被拒后起诉，邮件显示 OpenAI 从一开始就不看好合作，Altman 还揭露起诉前对方仍求收购。
全网骂他AI作弊狗，硅谷风投反手砸1.2亿！这届VC就爱疯批创业者
哥大退学的Roy Lee靠「AI作弊神器」Cluely杀出重围，a16z领头砸1500万美元，公司估值达1.2亿美元。风投认为其开创新品类，是创新型实时生产力工具，虽有争议但值得投资。
AI操作有了“紧急刹车”！通义&自动化所AI决策诊断模型，GUI智能体纠错正确率SOTA
阿里通义实验室与中科院自动化所推出GUI - Critic - R1模型，能在GUI智能体操作执行前诊断决策，避免错误。介绍了其动机、方法、数据集及实验，证明该模型在生成判断和提建议方面有效。
海光整并曙光后，是否会放弃服务器？
5月25日晚，海光信息将合并曙光信息的公告引发关注。二者关系密切且在产业链位置特殊。海光发展势头好，吸并或为提升系统能力。对于曙光是否放弃服务器业务有不同看法，整合还可能冲击华为。
ICML 2025 Spotlight | 谁导致了多智能体系统的失败？首个「自动化失败归因」研究出炉
ICML 2025 Spotlight 论文提出「自动化失败归因」新方向，应对多智能体系统失败难诊断问题。构建「Who&When」基准数据集，设计三种初步方法并评估，虽现有方法表现有限，但此研究意义重大，有望助力打造更可靠系统。
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。