「产品与服务」共找到 7824 篇相关文章
证明也有「选择困难症」？腾讯AI Lab与大模型研究部联手打造 MPS-Prover ，多视角破解形式化推理瓶颈！
本文聚焦逐步式自动化定理证明器困境，腾讯AI Lab等提出MPS - Prover。它有数据筛选和多视角树搜索两项创新，提升搜索效率和证明质量，在多基准表现佳，还解决六道IMO难题。
Agent面向结果交付，技术正从单点突破加速转向工程与系统竞争 |《中国软件技术发展洞察和趋势预测研究报告 2026》正式发布
2025 年技术热点不断，竞争重心从单点突破转向系统级等竞争。InfoQ 研究中心发布《中国软件技术发展洞察和趋势预测研究报告 2026》，盘点技术发展，还展望 2026 年十大技术趋势。
AST | 西工大崔榕峰、张伟伟等：基于物理约束与双并行注意力UNet++的高保真度三维机翼流场重构研究
本文针对三维机翼流场重构难题，提出DPAtt - UNet++框架，融合几何隐式编码、多尺度注意力与物理规律约束。实验表明，其重构精度高，预测速度较CFD提升2 - 3个数量级，为飞行器气动分析提供新路径。
一张图生成「能动」的3D资产：VAST+香港大学AniGen把AIGC推向动画、游戏、仿真与具身智能 (SIGGRAPH 2026 TOG)
SIGGRAPH 2026论文AniGen，由VAST和香港大学研究，能从单张图片直接生成带骨架与蒙皮权重的可动画3D资产。它解决了现有方法的不足，在多方面表现出色，对多个领域意义重大。
我用了13年，与SEO前辈们出现在一起。白杨SEO从网站优化到AI搜索优化经历分享，百度SEO不放弃！
白杨SEO分享从网站优化到AI搜索优化经历，讲述入行缘由、职场项目，介绍自由职业业务，分析百度SEO阶段与变化，建议别放弃，还给出对SEO未来看法，如回归国外、做新媒体SEO等。
SIGIR 2025 | 视频检索新范式！北邮、北大等联合提出AV-NAS：首个音视频哈希搜索架构，让Mamba与Transformer自动“组队”
北邮、北大等团队提出 AV-NAS，在多模态视频哈希领域引入 NAS，构建含 Transformer 与 Mamba 的统一搜索空间。该方法能自动发现最优跨模态融合机制，揭示音频时序建模中“CNN + FFN”结构更优，代码已开源。
刚刚，Claude 正式杀入华尔街！
Anthropic 宣布推出 Claude for Financial Services，扩展金融服务功能，有 Excel 插件，还与 Moody's、LSEG 等金融数据平台整合。Citi、RBC Capital Markets 等华尔街巨头纷纷入局。
一年一度最值得关注的AI榜单来啦！申报即日启动
时值第四届中国AIGC产业峰会，量子位将评选2026年度值得关注的AIGC企业和产品，结合调研与专家意见，结果5月峰会公布。参选有条件和维度，报名4月27日截止。
一年一度最值得关注的AI榜单来啦！申报即日启动
时值第四届中国AIGC产业峰会，量子位将评选2026年度值得关注的AIGC企业和产品，结合调研与专家意见，结果5月峰会公布。参选有条件和评选维度，报名4月27日截止。
一年一度最值得关注的AI榜单来啦！申报即日启动
时值第四届中国AIGC产业峰会，量子位将评选2026年度值得关注的AIGC企业和产品，结合调研与专家意见，结果5月峰会公布。介绍了参选条件、评选维度，报名4月27日截止。