「推理与计算」共找到 8173 篇相关文章
腾讯 CodeBuddy IDE 如何成为一个“全栈高级工程师”？
腾讯 CodeBuddy IDE 海外版开启内测，国内版预计 8 月上线。它定位‘下一代 AI 全栈高级工程师’，内置 4 个智能体，助力全链路研发。腾讯内部超 43% 代码由 AI 生成，编码时长缩短 40%。
吴恩达来信：Buildathon 快速工程挑战赛正式发布！
2025年8月16日将在旧金山湾区举办Buildathon快速工程挑战赛。AI辅助编程重塑软件工程，不同开发者对AI使用程度差异大。DeepLearning.AI与AI Fund携手举办竞赛，让选手限时构建产品。
Github 23000+ star 又一神级开源项目，秒杀市面上主流收费产品，最主要是轻量化部署！！！
Focalboard 是一款开源项目，能解决团队协作和项目管理中任务杂乱、主流工具收费高、需私有部署等痛点。它功能丰富，适用于多种管理场景，支持本地部署，数据完全自控。
创智突破：AI首次自主发现106个超越人类设计的神经网络架构
创智学院团队发布的AI超智能系统ASI - ARCH，自主发现106个超越人类设计的神经网络架构，建立“科学发现缩放定律”，实现从“自动化优化”到“自动化创新”转变，还将成果开源推动研究发展。
清华-腾讯联手：音频 - 视觉多模态任务统一框架
Crab是人大、清华和腾讯合作论文提出的模型，目标是高效一统多模态场景理解任务。它解决了音频 - 视觉理解模型任务干扰、合作显式化不足等难点，通过构建数据集、设计结构和统一架构实现多任务合作。
解读｜生产级RAG系统落地的10个经验教训
本文解读Douwe Kiela分享的企业级RAG系统实施十大经验，如要有系统思维、专业化优先等，还推荐新作《MCP原理揭秘与开发指南——构建可扩展的AI智能体》。
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
八大顶尖机构推出开源定理证明器Goedel - Prover - V2，有32B和8B两版本。它在多个基准测试击败671B的DeepSeek - Prover，采用创新技术，以少算力刷爆SOTA，十位华人是核心贡献者。
Cursor 0.50 版本升级后如何省钱又高效？一份给开发者的避坑指南
本文围绕Cursor编程助手日常应用展开，讲解计费机制、工具调用等核心要点，结合实践给出高效使用方法论与避坑指南，如合理选模型、巧用工具、设置规则等。
不用抗生素也能抗菌！AI设计新型蛋白质抵御细菌耐药性｜Nature子刊
澳大利亚研究借助AI工具设计出能与ChuA结合的蛋白质，抑制大肠杆菌等细菌生长。这些蛋白质像“分子锁”，阻断细菌获取血红素，降低耐药风险，开创“非抗生素”抗菌新范式。
国产大模型高考出分了：裸分683，选清华还是北大？
字节跳动Seed团队公布全球第一梯队大模型“高考成绩”，Gemini理科655分排第一，豆包文科683分排第一、理科648分排第二。文章解析评测标准，分析各科目表现，还介绍豆包能力提升技术亮点。