「清华团队研究」共找到 4770 篇相关文章
库克怒换苹果AI一号位：谷歌系不行、找微软高管救火！Siri藏“大雷”全靠OS团队翻盘？
Siri重大升级延期危机加剧，苹果任命前微软高管Amar Subramanya接替John Giannandrea任AI业务负责人。Giannandrea被指难让苹果AI追赶上硅谷同行，Siri业务问题多，苹果AI面临内外压力。
上线8个月、ARR破亿美元，45人团队每天支持用户构建 10 万个项目！CEO分享用人秘籍：高薪员工不一定是万金油
Lovable上线8个月ARR破亿美元，活跃用户超230万。CEO Anton Osika做客节目，探讨AI人才招用、品牌建设等问题，认为人才第一、品牌第二，还分析了竞争态势及收入构成，80%收入来自构建复杂应用程序的用户。
半年研发、1周上线，1秒200行代码爆发？美团研发负责人：靠小团队奇袭，模型和工程能力突破是核心
美团基础研发平台工程效率负责人程大同在访谈中解答了美团 AI Coding Agent 产品 NoCode 的相关问题，包括模型性能优化、产品定位、用户画像、使用边界等，还谈及与 CatPaw 的关系及未来规划。
半年研发、1周上线，1秒200行代码爆发？美团研发负责人：靠小团队奇袭，模型和工程能力突破是核心
6月10日美团推出首款AI Coding Agent产品NoCode。美团基础研发平台工程效率负责人程大同在访谈中解答诸多问题，如模型性能优化、产品竞争力、用户使用难点等，还提及产品未来规划和对行业发展的看法。
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
刚刚，智谱正式成“全球大模型第一股”，开盘涨超3%！10位董事7个清华背景，专家：国内IPO抢收“确定性”，OpenAI们豪赌“无限性”
今天，智谱在港交所正式挂牌上市，成“全球大模型第一股”。其有技术、产品、商业化等竞争力，但未盈利，研发投入大。专家认为国内大模型厂商上市是抢收确定性，而OpenAI等是扩展无限性。
刚刚，智谱正式成“全球大模型第一股”，开盘涨超3%！10位董事7个清华背景，专家：国内IPO抢收“确定性”，OpenAI们豪赌“无限性”
今日，智谱在港交所挂牌上市，成“全球大模型第一股”。其有技术、产品、商业化优势，但未盈利，研发投入高。专家认为其上市早，国内厂商上市为求确定，而OpenAI等是扩展无限。
不写代码、不裁员、15人团队爆改 AI 应用！ChatGPT、Claude死忠粉的暴利玩法：打造多个爆款，实现七位数营收
AI 原生创业公司 Every 仅 15 人，工程师几乎不写代码，却发布多款 AI 产品，运营咨询部门年收入数百万。其联合创始人 Dan Shipper 分享工作流程，称 AI 不会大规模抢岗，通才更吃香，还盛赞 Claude Code 等工具。
“养团队造语言”时代终结？Rust传奇人物用Claude造出新开源编程语言，AI写下万行代码：大模型上限很高，我学会了高效用它！
Rust核心贡献者Steve Klabnik借助Claude写了新语言Rue并开源。他曾是AI怀疑论者，现认为大模型在编程中‘真的有用’。Rue目标是不依赖垃圾回收提供内存安全，使用体验更顺手，开发深度依赖Claude。
并购激励金都不要了？全程踩中AI Coding，Windsurf核心工程师离开DeepMind
AI Coding 赛道核心工程师 Ronak Malde 离开 Google DeepMind，还放下后续经济激励。他曾参与 Codeium、Windsurf 相关项目，在 DeepMind 推进 Agentic Coding 研究。离职之际他总结心得，下一站备受关注。