「应用研究」共找到 3884 篇相关文章
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
优理奇机器人完成两轮合计3亿元天使++++轮及天使+++++轮融资，“算法-硬件-场景”三位一体加速具身智能应用落地
优理奇机器人近日完成两轮合计3亿元融资，是半年内第五轮。其坚持“场景驱动”，产品在运动会获奖，量产交付订单超千台。构建完整技术栈，推出标准化机械臂产品，创始人看好具身智能统一发展。
不写代码、不裁员、15人团队爆改 AI 应用！ChatGPT、Claude死忠粉的暴利玩法：打造多个爆款，实现七位数营收
AI 原生创业公司 Every 仅 15 人，工程师几乎不写代码，却发布多款 AI 产品，运营咨询部门年收入数百万。其联合创始人 Dan Shipper 分享工作流程，称 AI 不会大规模抢岗，通才更吃香，还盛赞 Claude Code 等工具。
LLM不是所有！这几个模型你需要知道！
AI时代不止大语言模型，复合AI系统成共识。掌握各类模型特点对构建高质量AI应用关键，文章介绍了LLM、LCM、LAM等多种模型。
1.9K Star 谷歌开源MCP Toolbox,支持langchain、llamaindex、各类数据库
谷歌开源MCP Toolbox获1.9K Star，支持langchain、llamaindex和各类数据库。它位于应用编排框架间，能简化数据库配置等，可用自然语言交互，还给出python调用方法。
推荐两个Vibe Coding必备的skill，Vibe程序员效率起飞了
Vibe程序员应聚焦创意，提高效率很关键。文章推荐两个实用技能，一是codebase - to - course，助开发者理解代码库；二是app - store - screenshots，可快速生成应用商店图，都经作者实测。
科研写作神器，超越Mathpix的科学公式提取工具已开源
LaTeX公式OCR现有方法处理真实文献面临挑战，DocTron团队提出系统性方案。构建CSFormula数据集，提出DocTron - Formula模型，在评测和实际应用中表现出色，超越Mathpix等工具。
不读博士，照样进OpenAI！o1核心成员现身说法了
OpenAI研究员Noam分享Keller Jordan、Sholto Douglas等“非典型”研究员经历，他们主动性强、公开研究，无博士学位也进入前沿AI实验室。现在进大厂，博士学位非必需，尽早进厂更好。
ICLR 2026 Workshop二轮征稿开启：聚焦终身智能体的学习、对齐、演化
人工智能进入转折点，AI Agent 崛起但存在瓶颈。ICLR 2026 会议期间的 Lifelong Agent Workshop 将深入探讨相关问题，推动终身智能体研究范式，现开启二轮征稿。
突发！OpenAI收购失败，windsurf被谷歌一锅端
原定OpenAI收购AI编程初创公司Windsurf交易取消，其CEO等核心人员转投谷歌DeepMind，围绕Gemini研究“代理编码”。谷歌是“人才聘用”，获部分技术非排他许可，Windsurf继续运营。